Result Details
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.
Type
conference paper
Language
English
Authors
Trchalík Roman, Mgr., Ph.D., FIT (FIT), DIFS (FIT)
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT), FBM (FBM), DIFS (FIT)
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT), FBM (FBM), DIFS (FIT)
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
Abstract
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. .
Keywords
MSC, SDL, specification
Published
2008
Pages
1–5
Proceedings
EDS '08 IMAPS CS International Conference Proceedings
Conference
15th Electronic Devices and Systems IMAPS CS International Conference
ISBN
978-80-214-3717-3
Publisher
Brno University of Technology
Place
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"
}
Projects
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments