Testing Automotive Reactive Systems using Timed Automata

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>

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
—

Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

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

Similar results(10)