Detail publikačního výsledku

Model-Based Design and Verification of Reactive Systems

ČEŠKA, M.; HÝSEK, J.; JANOUŠEK, V.

Originální název

Model-Based Design and Verification of Reactive Systems

Anglický název

Model-Based Design and Verification of Reactive Systems

Druh

Článek recenzovaný mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

ČEŠKA, M.; HÝSEK, J.; JANOUŠEK, V.

Rok RIV

2010

Vydáno

08.09.2009

Místo

Heidelberg

ISBN

978-3-642-04771-8

Kniha

Computer Aided Systems Theory - EUROCAST 2009

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Svazek

2009

Číslo

5717

Stát

Spolková republika Německo

Strany od

865

Strany do

872

Strany počet

8

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"
}