Model-Based Design and Verification of Reactive Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU86396" target="_blank" >RIV/00216305:26230/09:PU86396 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Model-Based Design and Verification of Reactive Systems

Original language description

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.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GD102%2F09%2FH042" target="_blank" >GD102/09/H042: Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2009

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Lecture Notes in Computer Science (IF 0,513)

ISSN

0302-9743

e-ISSN

—

Volume of the periodical

2009

Issue of the periodical within the volume

5717

Country of publishing house

DE - GERMANY

Number of pages

8

Pages from-to

—

UT code for WoS article

—

EID of the result in the Scopus database

—