Testing Automotive Reactive Systems using Timed Automata

被引：0
|
作者：
Sobotka, Jan [1 ]
Novak, Jiri [1 ]
机构：
[1] Czech Tech Univ, Fac Elect Engn, Tech 2, Prague 16627, Czech Republic
来源：
PROCEEDINGS OF THE 2017 9TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS (IDAACS), VOL 1 | 2017年
关键词：
Model-Based; Testing; Timed; Automaton; Automotive; ECU;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：510 / 513
页数：4
相关论文
共 50 条
  • [1] Testing timed automata
    Springintveld, J
    Vaandrager, F
    D'Argenio, PR
    THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 225 - 257
  • [2] ANALYZING TIMED SYSTEMS USING TREE AUTOMATA
    Akshay, S.
    Gastin, Paul
    Krishna, Shankara Narayanan
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)
  • [3] Testing membership for timed automata
    Richard Lassaigne
    Michel de Rougemont
    Acta Informatica, 2023, 60 : 361 - 384
  • [4] Testing Real-Time Embedded Systems using Timed Automata based approaches
    AbouTrab, M. Saeed
    Brockway, Michael
    Counsell, Steve
    Hierons, Robert M.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (05) : 1209 - 1223
  • [5] Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains
    Krichen, Moez
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2019, 2019, 11884 : 124 - 133
  • [6] The power of reachability testing for timed automata
    Aceto, L
    Bouyer, P
    Burgueño, A
    Larsen, KG
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 245 - 256
  • [7] The power of reachability testing for timed automata
    Aceto, L
    Bouyer, P
    Burgueño, A
    Larsen, KG
    THEORETICAL COMPUTER SCIENCE, 2003, 300 (1-3) : 411 - 475
  • [8] Diagnosing timed automata using timed markings
    Bouyer, Patricia
    Henry, Leo
    Jaziri, Samy
    Jeron, Thierry
    Markey, Nicolas
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021, 23 (02) : 229 - 253
  • [9] Comparing timed C/E systems with timed automata
    Huuck, R
    Lakhnech, Y
    Urbina, L
    Engell, S
    Kowalewski, S
    Preussig, J
    HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 81 - 86
  • [10] Diagnosing timed automata using timed markings
    Patricia Bouyer
    Léo Henry
    Samy Jaziri
    Thierry Jéron
    Nicolas Markey
    International Journal on Software Tools for Technology Transfer, 2021, 23 : 229 - 253
12345