Verifikace pomoci casovanych automatu v distribuovanych systemech

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Timed Automata Approach to Verification of Distributed Systems

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Timed Automata Approach to Verification of Distributed Systems

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/FD-K3%2F082" target="_blank" >FD-K3/082: *Návrhář pokročilých řídicích systémů.</a><br>

Návaznosti

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

Rok uplatnění

2004

Kód důvěrnosti údajů

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

Název statě ve sborníku

8th International Student Conference on Electrical Engineering, POSTER 2004, May 20 2004, Prague

ISBN

—

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

—

Název nakladatele

ČVUT v Praze, FEL

Místo vydání

Praha

Místo konání akce

Prague

Datum konání akce

20. 5. 2004

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—