Result 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.
Type
journal article
Language
English
Authors
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Hýsek Jiří, Ing., FIT (FIT), DITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., DITS (FIT)
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.

Keywords

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

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"
}
Projects
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
Research groups
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Department of Intelligent Systems (DITS)
Back to top