Verification of requirements for safety-critical software

被引：0
|
作者：
Carpenter, PB [1 ]
机构：
[1] Aonix, San Diego, CA USA
来源：
ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS | 1999年 / 19卷 / 03期
关键词：
requirements analysis; requirements-based testing; software verification; UML; DO-178B; IEEE/EIA; 12207;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The purpose of this paper is to describe a methodology for the verification of safety-critical software. The methodology is implemented with use-case modeling notation of the Unified Modeling Language (UML). The methodology also contains techniques for creating requirements-based test cases from scenarios. The test cases are formatted for test scripts that exercised the software.
引用
收藏
页码：23 / 29
页数：3
相关论文
共 50 条
  • [1] Verification of Safety-Critical Software
    Andersen, B. Scott
    Romanski, George
    [J]. COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
  • [2] Interactive Verification of Safety-Critical Software
    da Cruz, Daniela
    Henriques, Pedro Rangel
    Pinto, Jorge Sousa
    [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 519 - 528
  • [3] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
    SAEED, A
    DELEMOS, R
    ANDERSON, T
    [J]. ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
  • [4] Integrated formal verification of safety-critical software
    Ning Ge
    Eric Jenn
    Nicolas Breton
    Yoann Fonteneau
    [J]. International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
  • [5] Integrated formal verification of safety-critical software
    Ge, Ning
    Jenn, Eric
    Breton, Nicolas
    Fonteneau, Yoann
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
  • [6] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    [J]. IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [7] PROMELA based formal verification for safety-critical software
    Xing, Liang
    Ding, Chengjun
    Du, Hupeng
    Ma, Chunyan
    [J]. Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 2022, 40 (05): : 1180 - 1187
  • [8] Formalization and assessment of regulatory requirements for safety-critical software
    Vilkomir, Sergiy A.
    Bowen, Jonathan P.
    Ghose, Aditya K.
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2006, 2 (3-4) : 165 - 178
  • [9] Requirements discovery during the testing of safety-critical software
    Lutz, RR
    Mikulski, IC
    [J]. 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 578 - 583
  • [10] Translation of safety-critical software requirements specification to Lustre
    Park, Dongchul
    [J]. INNOVATIONS AND ADVANCED TECHNIQUES IN COMPUTER AND INFORMATION SCIENCES AND ENGINEERING, 2007, : 157 - 162
12345