A Practical Approach towards Validating HIL Simulation of a Safety-critical System

被引:0
|
作者
Stratis, Athanasios [1 ]
Causevic, Adnan [2 ]
机构
[1] Bombardier Transportat, TCMS Syst & Test Tools, Vasteras, Sweden
[2] Malardalen Univ, Software Testing Lab, Vasteras, Sweden
关键词
D O I
10.1109/ISSREW.2017.22
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In order to perform efficient testing of software intensive safety-critical products, organisations often utilise hardware-in-the-loop simulation of the system under test surrounding environment. This way, the system could be invoked and its behaviour could be observed in a controlled setting rather than in the field. However, what effect simulation quality might have on the effectiveness of the testing process still remains an open question. An answer to such a question is rather critical for organisations who are obliged to safety certify their products. In this paper, we are presenting an approach used by Bombardier Transportation to validate their hardware-in-the-loop simulation of a safety-critical system, by executing test cases both in the control setting (lab) and on the real product (train). The process is intended to be used when certifying the simulation which is a necessary step in order to certify the complete system. In addition, we are also presenting some observations from the pilot study and lessons learned.
引用
收藏
页码:40 / 43
页数:4
相关论文
共 50 条
  • [1] Practical stopping criteria for validating safety-critical software by estimating impartial reliability
    Chang, Wen-Kui
    Jeng, Shuen-Lin
    [J]. APPLIED MATHEMATICAL MODELLING, 2007, 31 (07) : 1411 - 1424
  • [2] Challenges in Validating Safety-Critical Embedded Systems
    Feiler, Peter H.
    [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2010, 3 (01): : 109 - 116
  • [3] Towards a Formal Approach to Analysing Security of Safety-Critical Systems
    Vistbakka, Inna
    Troubitsyna, Elena
    [J]. 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189
  • [4] Towards an LTCC SiP for Control System in Safety-Critical Applications
    Nobert, Gabriel
    Alameh, Abdul-Hafiz
    Ly, Nam
    Constantin, Nicolas G.
    Blaquiere, Yves
    [J]. 2021 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2021,
  • [5] Towards the Design of Safety-Critical Software
    Rafeh, R.
    Rabiee, A.
    [J]. JOURNAL OF APPLIED RESEARCH AND TECHNOLOGY, 2013, 11 : 683 - 694
  • [6] A practical implementation of BICS for safety-critical applications
    Smith, PA
    Campbell, DV
    [J]. 2000 IEEE INTERNATIONAL WORKSHOP ON DEFECT BASED TESTING, PROCEEDINGS, 2000, : 51 - 56
  • [7] Validating Effectiveness of Compliance Evaluation in Safety-Critical Process Assessment
    Varkoi, Timo
    Makinen, Timo
    Cameron, Frank
    Nevalainen, Risto
    [J]. SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT (EUROSPI 2018), 2018, 896 : 181 - 192
  • [8] An approach to specifying and verifying safety-critical systems with practical formal method SOFL
    Liu, SY
    Asuka, M
    Komaya, K
    Nakamura, Y
    [J]. FOURTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS - PROCEEDINGS, 1998, : 100 - 114
  • [9] Software Qualification Approach for Safety-Critical Software of the Embedded System
    Kim, Jangyeol
    Kim, Soongohn
    [J]. COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
  • [10] A Systematic Knowledge Education Approach for Safety-Critical System Development
    Yamamoto, Shuichiro
    [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS 19TH ANNUAL CONFERENCE, KES-2015, 2015, 60 : 960 - 967