Development of safety criteria for railway software

被引:0
|
作者
Joung, E. -j.
Shin, K. -h.
机构
关键词
railway software standard; quality management procedure; product oriented view point; process oriented view point;
D O I
10.2495/UT070561
中图分类号
X [环境科学、安全科学];
学科分类号
08 ; 0830 ;
摘要
Safety critical systems are those in which a failure can lead to serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical systems such as railways, aerospace, nuclear power plants, and vehicles. The main difference between an analog system and a digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design makes it difficult to predict the software failures. This paper reviews safety standards and criteria for safety critical systems such as railway systems and introduces the framework for the software lifecycle. The licensing procedure for the railway software is also reviewed.
引用
收藏
页码:593 / 601
页数:9
相关论文
共 50 条
  • [41] SOFTWARE DESIGN CRITERIA FOR NEW SYSTEMS-DEVELOPMENT
    BAAS, ED
    OPERATIONS RESEARCH, 1975, 23 : B388 - B388
  • [42] DEVELOPMENT OF USABILITY CRITERIA FOR E-LEARNING CONTENT DEVELOPMENT SOFTWARE
    Celik, Serkan
    TURKISH ONLINE JOURNAL OF DISTANCE EDUCATION, 2012, 13 (02): : 336 - 345
  • [43] DEVELOPMENT TENDENCIES IN SPECIAL REACTOR SAFETY CRITERIA
    LINDACKERS, KH
    ATOMWIRTSCHAFT, 1972, 17 (08): : 428 - +
  • [44] A Study on Integrated Airworthiness Certification Criteria for Avionics Software Safety and Security
    Han, Man-Goon
    Park, Tae-Kyou
    JOURNAL OF THE KOREAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, 2018, 46 (01) : 86 - 94
  • [45] Structuring Modular Safety Software Certification by Using Common Criteria Concepts
    Preschern, Christopher
    Dietrich, Kurt
    2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 47 - 50
  • [46] Formal Verification of Software Safety Criteria Using Event-B
    Xu, Lili
    Zhang, Hong
    PROCEEDINGS OF 2014 10TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS), VOLS I AND II, 2014, : 342 - 347
  • [47] Situational Factors in Safety Critical Software Development
    Nevalainen, Risto
    Clarke, Paul
    McCaffery, Fergal
    O'Connor, Rory V.
    Varkoi, Timo
    SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT, EUROSPI 2016, 2016, 633 : 132 - 147
  • [48] Domain Arguments in Safety Critical Software Development
    Rowanhill, Jonathan
    Knight, John C.
    2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2016, : 435 - 444
  • [49] Safety analysis methods - Software development questions
    Cichocki, T
    Cyberspace Security and Defense: Research Issues, 2005, 196 : 101 - 124
  • [50] 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