Publication Details

Model-Based Design and Verification of Reactive Systems

ČEŠKA Milan, HÝSEK Jiří and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science, vol. 2009, no. 5717, pp. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743.
Czech title
Modelem řízený návrh a verifikace reaktivních systémů
Type
journal article
Language
english
Authors
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT)
Hýsek Jiří, Ing. (DITS FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)
Keywords

model-based design, formal verification, state charts, reactive systems

Abstract

The article is focused on a model-based design and verification of reactive systems. In opposite to common approaches to developing reliable systems, at first a model of a system is constructed in high level visual language, then it is verified on this level of abstraction and consequently a low level code for target platform is generated. In approach discussed in this article an UML statechart formalism is used for construction of the model. This model is translated into Promela model and verified by the SPIN model checker.

Published
2009
Pages
865-872
Journal
Lecture Notes in Computer Science, vol. 2009, no. 5717, ISSN 0302-9743
Book
Computer Aided Systems Theory - EUROCAST 2009
ISBN
978-3-642-04771-8
Publisher
Springer Verlag
Place
Heidelberg, DE
BibTeX 
@ARTICLE{FITPUB9099,
   author = "Milan \v{C}e\v{s}ka and Ji\v{r}\'{i} H\'{y}sek and Vladim\'{i}r Janou\v{s}ek",
   title = "Model-Based Design and Verification of Reactive Systems",
   pages = "865--872",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2009",
   journal = "Lecture Notes in Computer Science",
   volume = 2009,
   number = 5717,
   year = 2009,
   location = "Heidelberg, DE",
   ISBN = "978-3-642-04771-8",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9099"
}
Back to top