Ongoing requirements discovery in high-integrity systems

被引：9
|
作者：
Lutz, RR
Mikulski, IC
机构：
[1] CALTECH, Jet Prop Lab, Pasadena, CA 91109 USA
[2] Iowa State Univ, Ames, IA 50011 USA
来源：
IEEE SOFTWARE | 2004年 / 21卷 / 02期
基金：
美国国家科学基金会; 美国国家航空航天局;
关键词：
D O I：
10.1109/MS.2004.1270757
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The discovery of new requirements and new requirements knowledge continues throughout the lifetime of many high-integrity embedded systems. Anomaly reports from testing and operations on eight spacecraft at the Jet Propulsion Laboratory revealed four mechanisms for how we discover and resolve requirements. Understanding these mechanisms identifies guidelines to help prevent anomalies found during testing from recurring during operations.
引用
收藏
页码：19 / +
页数：8
相关论文
共 50 条
  • [1] ANALYZING HIGH-INTEGRITY SYSTEMS
    CLARK, JA
    MCDERMID, JA
    BURNS, A
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 18 - 23
  • [2] ADA tasking for high-integrity systems
    Humphris, D
    Dobbing, B
    [J]. LESSONS IN SYSTEM SAFETY, 2000, : 113 - 133
  • [3] Ada 2005 for high-integrity systems
    Ruiz, Jose F.
    [J]. Developments in Risk-Based Approaches to Safety, 2006, : 187 - 198
  • [4] Requirements on the Target Programming Language for High-Integrity MDE
    Zovi, Alessandro
    Vardanega, Tullio
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009, 2009, 5570 : 1 - 15
  • [5] End-user requirements for high-integrity directory
    Jennings, BJ
    [J]. 1996 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS - CONVERGING TECHNOLOGIES FOR TOMORROW'S APPLICATIONS, VOLS. 1-3, 1996, : 1793 - 1796
  • [6] Communication paradigms for high-integrity distributed systems with hard real-time requirements
    Uruena, Santiago
    Zamorano, Juan
    Pulido, Jose A.
    de la Puente, Juan A.
    [J]. DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, 2008, : 151 - 160
  • [7] Code generation & high-integrity embedded systems
    Erkkinen, T
    [J]. DR DOBBS JOURNAL, 2004, 29 (06): : 68 - 70
  • [8] Towards Agile Engineering of High-Integrity Systems
    Paige, Richard F.
    Charalambous, Ramon
    Ge, Xiaocheng
    Brooke, Phillip J.
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 30 - +
  • [9] High-integrity seal
    Ashley, S
    [J]. MECHANICAL ENGINEERING, 1995, 117 (11): : 40 - 40
  • [10] Cache-Aware Development of High-Integrity Systems
    Mezzetti, Enrico
    Betts, Adam
    Ruiz, Jose
    Vardanega, Tullio
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, 2010, 6106 : 139 - +
12345