An approach for testing safety-critical software

被引：1
|
作者：
Li, WW [1 ]
Xu, ZW [1 ]
Jin, Y [1 ]
机构：
[1] Shanghai Tie Dao Univ, Dept Telecommun Engn, Shanghai 200331, Peoples R China
来源：
NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS | 1999年
关键词：
safety-critical software; failure severity level; failure frequency; software safety integrity level; software validation;
D O I：
10.1109/GLSV.1999.757405
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A novel approach for testing the effectiveness, efficiency; safety and relative appropriateness of Computer Interlocking Software (CIS) --a kind of safety-critical software is presented with a software platform developed to support this approach. A brief description of the proposed approach is also included.
引用
收藏
页码：180 / 183
页数：4
相关论文
共 50 条
  • [1] Testing safety-critical software
    Nikolaropoulos, E
    [J]. HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
  • [2] Software testing for safety-critical applications
    Wang, LF
    Tan, KC
    [J]. IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
  • [3] An Approach for automated safety testing of safety-critical software system based on safety requirements
    Yu, Gang
    Xu, Zhong Wei
    Du, Jun Wei
    [J]. 2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 3, PROCEEDINGS, 2009, : 166 - 169
  • [4] TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE
    CULLYER, WJ
    STOREY, N
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (05): : 239 - 244
  • [5] Introduction to characterization of monitors for testing safety-critical software
    Di Biagio, Christian
    Pennella, Guido
    Lomartire, Anna
    Cantone, Giovanni
    [J]. ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2006, : 253 - 256
  • [6] Towards Agile Testing for Railway Safety-critical Software
    Li, Nan
    Guo, Jin
    Lei, Jeff
    Li, Yao
    Rao, Chang
    Cao, YaXin
    [J]. PROCEEDINGS OF THE XP2016 SCIENTIFIC WORKSHOPS, 2016,
  • [7] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    [J]. ERCIM NEWS, 2008, (75): : 12 - 13
  • [8] A Controlled Experiment in Testing of Safety-Critical Embedded Software
    Enoiu, Eduard P.
    Causevic, Adnan
    Sundmark, Daniel
    Pettersson, Paul
    [J]. 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 1 - 11
  • [9] Testing of Safety-Critical Software Embedded in an Artificial Heart
    Cha, Sungdeok
    Jeong, Sehun
    Yoo, Junbeom
    Kim, Young-Gab
    [J]. ADVANCES IN SYSTEMS SAFETY, 2011, : 143 - +
  • [10] Requirements discovery during the testing of safety-critical software
    Lutz, RR
    Mikulski, IC
    [J]. 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 578 - 583
12345