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”

Testing Automotive Reactive Systems using Timed Automata

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F17%3A00313906" target="_blank" >RIV/68407700:21230/17:00313906 - isvavai.cz</a>

  • Result on the web

    <a href="http://dx.doi.org/10.1109/IDAACS.2017.8095133" target="_blank" >http://dx.doi.org/10.1109/IDAACS.2017.8095133</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1109/IDAACS.2017.8095133" target="_blank" >10.1109/IDAACS.2017.8095133</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Testing Automotive Reactive Systems using Timed Automata

  • Original language description

    Model oriented testing methods are known relatively long time, but the right time for viable deployment is coming up now with the continuously growing amount of vehicle electronic systems. Paper proposes a new Model-Based Testing approach to testing of automotive electronics systems. The key concept is the utilization of Timed Automata for online testing of automotive electronic control units. System modeling, the new tool, a bit of necessary technology and preliminary results intended to identify future research goal are presented.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

  • OECD FORD branch

    20201 - Electrical and electronic engineering

Result continuities

  • Project

  • Continuities

    S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2017

  • 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

    Proceedings of the 2017 IEEE 9th International Conference on Inteligent Data Acquisition and Advanced Computing Systems: Technology and Application (IDAACS)

  • ISBN

    978-1-5386-0697-1

  • ISSN

  • e-ISSN

  • Number of pages

    4

  • Pages from-to

    510-513

  • Publisher name

    Ternopil National Economic University

  • Place of publication

    Ternopil

  • Event location

    Bukurešť

  • Event date

    Sep 21, 2017

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article

    000425869000093