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 条
  • [21] Diagnostic of discrete event systems using timed automata in MATLAB SIMULINK
    Simeu-Abazi, Z.
    Gascard, E.
    Chalagiraud, F.
    ADVANCES IN SAFETY, RELIABILITY AND RISK MANAGEMENT, 2012, : 402 - 409
  • [22] Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata
    Jawad, Alvi
    Jaskolka, Jason
    2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), 2021, : 966 - 977
  • [23] Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions
    Rodriguez-Navas, Guillermo
    Proenza, Julian
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (06) : 857 - 868
  • [24] Safety Analysis of Helicopter Models using Timed Automata Hybrid Systems
    Sutarto, H. Y.
    Megawati, N. Y.
    Salmah
    Suparwanto, A.
    Joelianto, E.
    Wijayanti, I. E.
    Budiyono, A.
    Solikhatun
    ICICI-BME: 2009 INTERNATIONAL CONFERENCE ON INSTRUMENTATION, COMMUNICATION, INFORMATION TECHNOLOGY, AND BIOMEDICAL ENGINEERING, 2009, : 430 - +
  • [25] Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata
    AbouTrab, M. Saeed
    Counsell, Steve
    Hierons, Robert M.
    2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 660 - 669
  • [26] An incremental method for testing timed input output automata
    En-Nouaary, Abdeslam
    Hamou-Lhadj, Abdelwahab
    NEW ASPECTS OF TELECOMMUNICATIONS AND INFORMATICS, 2008, : 61 - 66
  • [27] Exploiting Timed Automata for Conformance Testing of Power Measurements
    Woehrle, Matthias
    Lampka, Kai
    Thiele, Lothar
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 275 - 290
  • [28] Improving Search Order for Reachability Testing in Timed Automata
    Herbreteau, Frederic
    Thanh-Tung Tran
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 124 - 139
  • [29] Time for Networks: Mutation Testing for Timed Automata Networks
    Cortes, David
    Ortiz, James
    Basile, Davide
    Aranda, Jesus
    Perrouin, Gilles
    Schobbens, Pierre-Yves
    PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, 2024, : 44 - 54
  • [30] A guided method for testing timed input output automata
    En-Nouaary, A
    Dssouli, R
    TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2003, 2644 : 211 - 225
12345