Virtual testing in a safety-critical environment

被引：0
|
作者：
Dullaway, NJ [1 ]
Morris, AJ [1 ]
机构：
[1] CRANFIELD UNIV,COLL AERONAUT,CRANFIELD MK43 0AL,BEDS,ENGLAND
来源：
ADVANCES IN COMPUTATIONAL STRUCTURES TECHNOLOGY | 1996年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：213 / 218
页数：6
相关论文
共 50 条
  • [1] Testing safety-critical software
    Nikolaropoulos, E
    [J]. HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
  • [2] Development of simulation-based testing environment for safety-critical software
    Lee, Sang Hun
    Lee, Seung Jun
    Park, Jinkyun
    Lee, Eun-Chan
    Kang, Hyun Gook
    [J]. NUCLEAR ENGINEERING AND TECHNOLOGY, 2018, 50 (04) : 570 - 581
  • [3] Testing. Testing safety-critical software
    Redmill, Felix
    [J]. Professional Engineering, 1993, 6 (07) : 20 - 21
  • [4] Testing concepts in Safety-Critical Development
    Taliga, Miklos
    Steiner-Komoroczki, Henriette
    [J]. 2018 18TH IEEE INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INFORMATICS (CINTI), 2018, : 105 - 108
  • [5] An approach for testing safety-critical software
    Li, WW
    Xu, ZW
    Jin, Y
    [J]. NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
  • [6] Software testing for safety-critical applications
    Wang, LF
    Tan, KC
    [J]. IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
  • [7] TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE
    CULLYER, WJ
    STOREY, N
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (05): : 239 - 244
  • [8] Testing Experiences of Safety-Critical Embedded Systems
    Bakker, Bryan
    [J]. ADVANCES IN SYSTEMS SAFETY, 2011, : 169 - 186
  • [9] Novel testing approach for safety-critical software
    Xu, Zhongwei
    Wu, Fangmei
    [J]. Proceedings of the Asian Test Symposium, 1999, : 251 - 255
  • [10] Fail-Safe Testing of Safety-Critical Systems
    Gario, Ahmed
    Andrews, A. von Mayrhauser
    [J]. 2014 23RD AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC), 2013, : 190 - 199
12345