Detail publikace

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

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

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.

Klíčová slova

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

Autoři

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

Rok RIV

2009

Vydáno

8. 9. 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

Ročník

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