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 条
  • [21] Development of safety critical software with the B method
    Behm, P
    Benoit, P
    Faivre, A
    Milonnet, C
    AUTOMATED PEOPLE MOVERS VI: CREATIVE ACCESS FOR MAJOR ACTIVITY CENTERS, 1998, : 678 - 687
  • [22] On the formal development of safety-critical software
    Galloway, Andy
    Iwu, Frantz
    McDermid, John
    Toyn, Ian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
  • [23] Optimization of safety critical software development processes
    Brito, M. R.
    May, J. H. R.
    RISK, RELIABILITY AND SOCIETAL SAFETY, VOLS 1-3: VOL 1: SPECIALISATION TOPICS; VOL 2: THEMATIC TOPICS; VOL 3: APPLICATIONS TOPICS, 2007, : 621 - 628
  • [24] INTEGRATED ORGANIZATIONAL AND SOFTWARE SAFETY FACTORS IN SAFETY CRITICAL SYSTEMS
    Acharyulu, P. V. Srinivas
    Seetharamaiah, P.
    THIRD INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY (ICCET 2011), 2011, : 537 - +
  • [25] Safety Criteria and Development Methodology for the Safety Critical Railway Software
    Joung, Eui-jin
    Oh, Se-chan
    Park, Sung-hyuk
    Kim, Gil-dong
    INTELEC 09 - 31ST INTERNATIONAL TELECOMMUNICATIONS ENERGY CONFERENCE, 2009, : 904 - 907
  • [26] A STRATEGY FOR IDENTIFICATION AND DEVELOPMENT OF SAFETY CRITICAL SOFTWARE EMBEDDED IN COMPLEX-SPACE SYSTEMS
    WUNRAM, J
    ACTA ASTRONAUTICA, 1993, 29 (03) : 213 - 221
  • [27] A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems
    Mader, Roland
    Griessnig, Gerhard
    Armengaud, Eric
    Leitner, Andrea
    Kreiner, Christian
    Bourrouilh, Quentin
    Steger, Christian
    Weiss, Reinhold
    2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 75 - 79
  • [28] Model-based software development - A Process for safety-critical embedded Systems
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    ATP EDITION, 2012, (7-8): : 60 - 66
  • [29] Approach to the development of a Unified Framework for Safety Critical Software Development
    Bujok, Andrzej Beniamin
    MacMahon, Silvana Togneri
    Grant, Peadar
    Whelan, Dick
    Rickard, William J.
    McCaffery, Fergal
    COMPUTER STANDARDS & INTERFACES, 2017, 54 : 152 - 161
  • [30] A software tool to facilitate the development of computerized decision support systems
    Folks, Russell
    Manatunga, Daya
    Garcia, Ernest
    Taylor, Andrew
    JOURNAL OF NUCLEAR MEDICINE, 2012, 53
12345