Timed Automata Approach to Verification of Distributed Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03098167" target="_blank" >RIV/68407700:21230/04:03098167 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Timed Automata Approach to Verification of Distributed Systems
Original language description
The goal of the article is verification of real time distributed system focusing on CAN model by timed automata and specification of verified properties by temporal logic. Such system consists of an application SW running under real-time operating systemand using broadcast communications based on the CAN. The approach is based on the modelling the discrete event system by Timed Automata and on verification by model checking tool. In contrast to classical approaches dealing either with shared bus or shared processor, our approach deals with both kinds of resources.
Czech name
Verifikace pomoci casovanych automatu v distribuovanych systemech
Czech description
Tato prace popisuje jak verifikovat rozprostrene systemy realneho casu pomoci casovanych automatu. Zamnerujeme se na systemy pouzivajici Controller Area Network (CAN) jako sbernici a predpokladame ze na kazdem CPU bezi operacni system realneho casu. K porovnani s tradicnimi metodami je nase metoda preciznejsi.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/FD-K3%2F082" target="_blank" >FD-K3/082: *Advance control system designer.</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
8th International Student Conference on Electrical Engineering, POSTER 2004, May 20 2004, Prague
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
—
Publisher name
ČVUT v Praze, FEL
Place of publication
Praha
Event location
Prague
Event date
May 20, 2004
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—