All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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