Reliability-related requirements in software-intensive systems

被引:0
|
作者
Hecht, Myron [1 ]
Owens, Karen [1 ]
Tagami, Joanne [1 ]
机构
[1] Aerosp Corp, 2350 E El Segundo Blvd, El Segundo, CA 90245 USA
关键词
software; system requirements; reliability program plan; statement of work; contracts;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
System-level reliability and availability requirements set forth by U.S. Government agencies procuring large software-intensive systems encompass both hardware and software. However, specifications, statement of work requirements, and compliance documents (standards) usually implicitly or explicitly focus on hardware and are largely silent about software reliability, maintainability, availability and dependability. Consequently, contractor system reliability analyses and design reviews usually ignore quantitative software reliability, maintainability, availability, and dependability requirements. During system testing and evaluation, data on software operating times, failure rates, and recovery times are not collected. Finally, logistics and support specialists devote significant attention to sparing and maintenance concept development, but often do not adequately consider the software-related sustainment issues of large computer systems. These problems can be solved by appropriate definition of requirements for software-intensive system reliability in specifications and in the definition of programmatic requirements in contractual documentation.
引用
收藏
页码:155 / +
页数:2
相关论文
共 50 条
  • [21] A holistic view on the dependability of software-intensive systems
    Sonneck, G
    Schoitsch, E
    Strigini, L
    [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, 1998, 1516 : 369 - 379
  • [22] The Darwin project: Evolvability of software-intensive systems
    van de laar, Pire
    van Lod, Sjir
    Muller, Gerrit
    Punter, Teade
    Watts, David
    America, Pierre
    Rutgers, Joland
    [J]. THIRD INTERNATIONAL IEEE WORKSHOP ON SOFTWARE EVOLVABILITY, PROCEEDINGS, 2007, : 48 - +
  • [23] Model checking for dependable software-intensive systems
    Clarke, E
    Fujita, M
    Gluch, D
    [J]. 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2003, : 764 - 764
  • [24] Safety Assessment of Complex, Software-Intensive Systems
    Leveson, Nancy G.
    Fleming, Cody Harrison
    Spencer, Melissa
    Thomas, John
    Wilkinson, Chris
    [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2012, 5 (01): : 233 - 244
  • [25] Understanding the trust of software-intensive distributed systems
    Gallege, Lahiru S.
    Gamage, Dimuthu U.
    Hill, James H.
    Raje, Rajeev R.
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2016, 28 (01): : 114 - 143
  • [26] Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems
    Oquendo, Flavio
    [J]. SOFTWARE ARCHITECTURE, ECSA 2016, 2016, 9839 : 3 - 21
  • [27] On the verification of mission-related properties in software-intensive systems-of-systems architectural design
    Silva, Eduardo
    Batista, Thais
    Oquendo, Flavio
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2020, 192
  • [28] A systems-theoretic approach to safety in software-intensive systems
    Leveson, NG
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) : 66 - 86
  • [29] Reliability-related safety analyses for satellite navigation systems
    Yin, ML
    Hyde, CL
    James, LE
    [J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM - 2000 PROCEEDINGS, 2000, : 299 - 304
  • [30] Towards Systematic Live Experimentation in Software-Intensive Systems of Systems
    Gerostathopoulos, Ilias
    Bures, Tomas
    Schmid, Sanny
    Horky, Vojtech
    Prehofer, Christian
    Tuma, Petr
    [J]. SOFTWARE-INTENSIVE SYSTEMS-OF-SYSTEMS SYMPOSIUM (SISOS@ECSA), 2016,