Aplikace časovaných automatů pro testování startovního mechanizmu ve standardu FlexRay

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F08%3A03146035" target="_blank" >RIV/68407700:21230/08:03146035 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
The Application of The Timed Automata for FlexRay Start-up Testing
Popis výsledku v původním jazyce
This contribution deals with application of timed automata for modelling of the new automotive communication standard FlexRay. For this purpose the UPPAAL software tool has been used that allows modelling of discrete even systems with the use of timed automata and subsequently to verify the model with the use of suitable queries compiled in the temporal logic. This article is focused on the mechanism ensuring start of a FlexRay network. This model can be used for searching incorrect settings of time parameters of nodes in the network that prevent network start-up and subsequently the start of the car.
Název v anglickém jazyce
The Application of The Timed Automata for FlexRay Start-up Testing
Popis výsledku anglicky
This contribution deals with application of timed automata for modelling of the new automotive communication standard FlexRay. For this purpose the UPPAAL software tool has been used that allows modelling of discrete even systems with the use of timed automata and subsequently to verify the model with the use of suitable queries compiled in the temporal logic. This article is focused on the mechanism ensuring start of a FlexRay network. This model can be used for searching incorrect settings of time parameters of nodes in the network that prevent network start-up and subsequently the start of the car.

Projekt
<a href="/cs/project/1M0568" target="_blank" >1M0568: Výzkumné centrum spalovacích motorů a automobilů Josefa Božka II</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2008
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
16th IMEKO TC4 International Symposium
ISBN
978-88-903149-3-3
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
—
Název nakladatele
University of Florence, Faculty of Engineering and Faculty of Economics
Místo vydání
Florence
Místo konání akce
Florence
Datum konání akce
22. 9. 2008
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)