The Application of The Timed Automata for FlexRay Start-up Testing
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
The Application of The Timed Automata for FlexRay Start-up Testing
Original language description
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.
Czech name
Aplikace časovaných automatů pro testování startovního mechanizmu ve standardu FlexRay
Czech description
Tento příspěvek se zabývá aplikací časovaných automatů pro modelování nového komunikačního standardu FlexRay. Pro tento účel byl použit softwarový nástroj UPPAAL, který umožňuje modelovat diskrétní systémy pomocí časovaných automatů a následně verifikovat tento systém pomocí dotazů sestavených v temporální logice. Tento článek se zaměřuje na modelování procesu zajišťujícího start FlexRay sítě. Tento model může být použit pro hledání nesprávného nastavení časových parametrů stanic v síti, při kterém jižnedojde k nastartování sítě, a tím ani k rozjezdu automobilu.
Classification
Type
D - Article in proceedings
CEP classification
JB - Sensors, detecting elements, measurement and regulation
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1M0568" target="_blank" >1M0568: Josef Božek Research Center of Engine and Automotive Technology II</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2008
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
16th IMEKO TC4 International Symposium
ISBN
978-88-903149-3-3
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
University of Florence, Faculty of Engineering and Faculty of Economics
Place of publication
Florence
Event location
Florence
Event date
Sep 22, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—