Detail výsledku

Using MSC and SDL Languages for Description of Network Communication

TRCHALÍK, R.; OČENÁŠEK, P.; ŠVÉDA, M. Using MSC and SDL Languages for Description of Network Communication. EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008. p. 1-5. ISBN: 978-80-214-3717-3.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Trchalík Roman, Mgr., Ph.D., UIFS (FIT)
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Abstrakt

This paper describes basic principles of MSC and SDL languages which are formalism for description of interactions among components in some system. Informal specification of systems contributes to view these systems as a black box. Behavior of each system is seems as a whole. On the other side, formal specification and description tend to reflect internal structures of the system. MSC and SDL give different views of the same system. This paper compares characteristics of MSC and SDL languages. The reactive system often consists of non-terminal and nondeterministic processes, so we can use High Level MSC, which is composed from single MSCs to specify the system. .

Klíčová slova

MSC, SDL, specification

Rok
2008
Strany
1–5
Sborník
EDS '08 IMAPS CS International Conference Proceedings
Konference
15th Electronic Devices and Systems IMAPS CS International Conference
ISBN
978-80-214-3717-3
Vydavatel
Brno University of Technology
Místo
Brno
BibTeX 
@inproceedings{BUT30493,
  author="Roman {Trchalík} and Pavel {Očenášek} and Miroslav {Švéda}",
  title="Using MSC and SDL Languages for Description of Network Communication",
  booktitle="EDS '08 IMAPS CS International Conference Proceedings",
  year="2008",
  pages="1--5",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-3717-3"
}
Projekty
Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, GAČR, Standardní projekty, GA102/08/1429, zahájení: 2008-01-01, ukončení: 2010-12-31, ukončen
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru