ASSESSMENT OF SAFETY-CRITICAL SPECIFICATIONS

被引：8
|
作者：
WILLIAMS, LG
机构：
来源：
IEEE SOFTWARE | 1994年 / 11卷 / 01期
关键词：
D O I：
10.1109/52.251208
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
[No abstract available]
引用
收藏
页码：51 / 60
页数：10
相关论文
共 50 条
  • [1] 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
  • [2] Executable Specifications of Safety-Critical Systems with S#
    Habermaier, Axel
    Leupolz, Johannes
    Reif, Wolfgang
    [J]. IFAC PAPERSONLINE, 2015, 48 (07): : 44 - 49
  • [3] The quantitative safety assessment for safety-critical software
    Yu, YY
    Johnson, BW
    [J]. 29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
  • [4] Acquisition and structuration of knowledge of safety-critical software specifications.
    Darricau, M
    Hadj-Mabrouk, H
    Ganascia, JG
    [J]. TRANSPORTATION SYSTEMS 1997, VOLS 1-3, 1997, : 1151 - 1155
  • [5] Languages for safety-critical software: Issues and assessment
    Brosgol, Benjamin M.
    [J]. 29th International Conference on Software Engineering: ICSE 2007 Companion Volume, Proceedings, 2007, : 180 - 181
  • [6] Safety Assessment of Design Patterns for Safety-Critical Embedded Systems
    Armoush, Ashraf
    Beckschulze, Eva
    Kowalewski, Stefan
    [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 523 - 527
  • [7] Design tool assessment for safety-critical software development
    Kornecki, AJ
    Zalewski, J
    [J]. 28TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2004, : 105 - 113
  • [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] PROBABILISTIC ASSESSMENT OF SAFETY-CRITICAL SOFTWARE - WHY AND HOW
    LAPRIE, JC
    LITTLEWOOD, B
    [J]. COMMUNICATIONS OF THE ACM, 1992, 35 (02) : 13 - &
  • [10] THE ASSESSMENT OF LOW-COST SAFETY-CRITICAL MICROELECTRONICS
    KUSSENDRAGER, H
    [J]. COMPUTERS AND SAFETY: A FIRST INTERNATIONAL CONFERENCE ON THE USE OF PROGRAMMABLE ELECTRONIC SYSTEMS IN SAFETY RELATED APPLICATIONS, 1989, 314 : 62 - 66
12345