Safety-critical software

被引：0
|
作者：
机构：
来源：
| 1600年 / IEEE Computer Society卷 / 30期
关键词：
D O I：
10.1109/MS.2013.55
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [11] The quantitative safety assessment for safety-critical software
    Yu, YY
    Johnson, BW
    29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
  • [12] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [13] Reliability modeling for safety-critical software
    Schneidewind, NF
    IEEE TRANSACTIONS ON RELIABILITY, 1997, 46 (01) : 88 - 98
  • [14] Can safety-critical software be flexible?
    Fraser, SW
    PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2003, : 588 - 593
  • [15] Interactive Verification of Safety-Critical Software
    da Cruz, Daniela
    Henriques, Pedro Rangel
    Pinto, Jorge Sousa
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 519 - 528
  • [16] Software reuse: A safety-critical primer
    Wlad, Joseph
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2007, 22 (04) : 18 - 22
  • [17] Verification of requirements for safety-critical software
    Carpenter, PB
    ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 23 - 29
  • [18] Toward dependable safety-critical software
    Bastani, F
    Cukic, B
    Hilford, V
    Jamoussi, A
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 86 - 92
  • [19] On the formal development of safety-critical software
    Galloway, Andy
    Iwu, Frantz
    McDermid, John
    Toyn, Ian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
  • [20] An approach for testing safety-critical software
    Li, WW
    Xu, ZW
    Jin, Y
    NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
12345