Detail výsledku

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.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Hýsek Jiří, Ing., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Abstrakt

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.

Klíčová slova

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

Rok
2009
Strany
865–872
Časopis
Lecture Notes in Computer Science, roč. 2009, č. 5717, ISSN 0302-9743
Kniha
Computer Aided Systems Theory - EUROCAST 2009
ISBN
978-3-642-04771-8
Místo
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"
}
Projekty
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru