Techniques to facilitate development of safety critical software systems

被引：0
|
作者：
Madan, S
机构：
来源：
1997 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS I AND II: ENGINEERING INNOVATION: VOYAGE OF DISCOVERY | 1997年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Safety Critical Systems must perform as desired and should never fail. The need for dependability arises from the fact that the consequences of failure are extremely high, usually a threat to human life. To build software with these features is a hard task. Formal methods and Software Process Models have been deployed to make them safe but they are not foolproof. This paper suggests how a combination of techniques may facilitate Safety Critical Software System development.
引用
收藏
页码：249 / 252
页数：4
相关论文
共 50 条
  • [1] Techniques for safety critical software development
    Kiper, JD
    Tomayko, JE
    PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL III: EMERGING TECHNOLOGIES TRACK, 1998, : 336 - 337
  • [2] Analyzing Different Validation and Verification Techniques for Safety Critical Software Systems
    Ahmad, Waqas
    Qamar, Usman
    Hassan, Shoaib
    PROCEEDINGS OF 2015 6TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE, 2015, : 367 - 370
  • [3] Principles of Ethical Consideration in Safety Critical Software Systems Development
    Grant, Emanuel S.
    2019 4TH TECHNOLOGY INNOVATION MANAGEMENT AND ENGINEERING SCIENCE INTERNATIONAL CONFERENCE (TIMES-ICON), 2019,
  • [4] Evaluation of software development tools for high assurance safety critical systems
    Kornecki, AJ
    Hall, K
    Hearn, D
    Lau, H
    Zalewski, J
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 273 - 274
  • [5] Supporting software quality in an integrated safety critical systems development environment
    Lees, B
    Jenkins, DG
    SOFTWARE QUALITY MANAGEMENT IV - IMPROVING QUALITY, 1996, : 547 - 556
  • [6] The Analysis of Safety Critical Software Systems
    Holzmann, Gerard J.
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2025, 51 (03) : 774 - 777
  • [7] Adaptive Software Development for Developing Safety Critical Software
    Abdelaziz, Adil A.
    El-Tahir, Yaseen
    Osman, Raheeg
    2015 INTERNATIONAL CONFERENCE ON COMPUTING, CONTROL, NETWORKING, ELECTRONICS AND EMBEDDED SYSTEMS ENGINEERING (ICCNEEE), 2015, : 41 - 46
  • [8] Software tools for safety-critical software development
    Alan Wassyng
    Mark Lawford
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354
  • [9] 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
  • [10] Development of Safety-Critical Software Systems Using Open Source Software - A Systematic Map
    Sulaman, Sardar Muhammad
    Orucevic-Alagic, Alma
    Borg, Markus
    Wnuk, Krzysztof
    Host, Martin
    de la Vara, Jose Luis
    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 17 - 24
12345