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 条
  • [41] Analysis of distributed control systems using timed automata with guards and dioid algebra
    Ait Oumeziane, Fatima
    Ourghanlian, Alain
    Amari, Said
    2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 1369 - 1372
  • [42] Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels
    Bouyer, Patricia
    Markey, Nicolas
    Perrin, Nicolas
    Schlehuber-Caissier, Philipp
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 60 - 75
  • [43] Timed-automata abstraction of switched dynamical systems using control invariants
    Bouyer, Patricia
    Markey, Nicolas
    Perrin, Nicolas
    Schlehuber-Caissier, Philipp
    REAL-TIME SYSTEMS, 2017, 53 (03) : 327 - 353
  • [44] Distributed Cyber Physical Systems Software Model Checking using Timed Automata
    Ghosh, Purboday
    Karsai, Gabor
    2023 IEEE 26TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING, ISORC, 2023, : 164 - 169
  • [45] Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
    Bouyer, Patricia
    Fahrenberg, Uli
    Larsen, Kim G.
    Markey, Nicolas
    COMMUNICATIONS OF THE ACM, 2011, 54 (09) : 78 - 87
  • [46] Timed automata
    Alur, R
    VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 233 - 264
  • [47] Passive Testing of Timed Systems
    Andres, Cesar
    Merayo, Mercedes G.
    Nunez, Manuel
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 418 - 427
  • [48] Cooperative Testing of Timed Systems
    David, Alexandre
    Larsen, Kim G.
    Li, Shuhao
    Nielsen, Brian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 220 (01) : 79 - 92
  • [49] Conformance Testing for non Deterministic Timed Pushdown Automata with Deadlines
    M'Hemdi, Hana
    Julliand, Jacques
    Masson, Pierre-Alain
    Robbana, Riadh
    2016 IEEE 25TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2016, : 211 - 213
  • [50] A Compositional Translation of Timed Automata with Deadlines to UPPAAL Timed Automata
    Gomez, Rodolfo
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 179 - 194
12345