About: The Application of The Timed Automata for FlexRay Start-up Testing     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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.
  • 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. (en)
  • 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. (cs)
Title
  • The Application of The Timed Automata for FlexRay Start-up Testing
  • Aplikace časovaných automatů pro testování startovního mechanizmu ve standardu FlexRay (cs)
  • The Application of The Timed Automata for FlexRay Start-up Testing (en)
skos:prefLabel
  • The Application of The Timed Automata for FlexRay Start-up Testing
  • Aplikace časovaných automatů pro testování startovního mechanizmu ve standardu FlexRay (cs)
  • The Application of The Timed Automata for FlexRay Start-up Testing (en)
skos:notation
  • RIV/68407700:21230/08:03146035!RIV09-MSM-21230___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(1M0568)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 356807
http://linked.open...ai/riv/idVysledku
  • RIV/68407700:21230/08:03146035
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • FlexRay; UPPAAL; timed automata (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [0ADF2B314793]
http://linked.open...v/mistoKonaniAkce
  • Florence
http://linked.open...i/riv/mistoVydani
  • Florence
http://linked.open...i/riv/nazevZdroje
  • 16th IMEKO TC4 International Symposium
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Malinský, Jan
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • University of Florence, Faculty of Engineering and Faculty of Economics
https://schema.org/isbn
  • 978-88-903149-3-3
http://localhost/t...ganizacniJednotka
  • 21230
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software