Publication Details

Model-Based Design and Verification of Reactive Systems

ČEŠKA, M.; HÝSEK, J.; JANOUŠEK, V. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science, 2009, vol. 2009, no. 5717, p. 865-872. 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.
Hýsek Jiří, Ing.
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
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
Place
Heidelberg
BibTeX 
@article{BUT46898,
  author="Milan {Češka} and Jiří {Hýsek} and Vladimír {Janoušek}",
  title="Model-Based Design and Verification of Reactive Systems",
  journal="Lecture Notes in Computer Science",
  year="2009",
  volume="2009",
  number="5717",
  pages="865--872",
  issn="0302-9743"
}
Back to top