Failure mode and effect analysis for safety-critical systems with software components

被引：0
|
作者：
Cichocki, T
Górski, J
机构：
[1] Adtranz Zwus, PL-40142 Katowice, Poland
[2] Gdansk Tech Univ, PL-80952 Gdansk, Poland
来源：
COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS | 2000年 / 1943卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
One of possible ways to achieve a very high level of confidence in a system is to develop its adequate model and then to analyse the properties of this model. The paper presents how object oriented modelling extended with formal specifications is used to support FMEA of software intensive systems. The paper refers to the case study of a computerised railway signalling system.
引用
收藏
页码：382 / 394
页数：13
相关论文
共 50 条
  • [41] Software support for incident reporting systems in safety-critical applications
    Johnson, C
    [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 96 - 106
  • [42] Efficient Software Tool Qualification for Automotive Safety-Critical Systems
    Astrom, Alexander
    Izosimov, Viacheslav
    Orsmark, Ola
    [J]. ELEKTRONIK IM KRAFTFAHRZEUG: ELEKTRIK, ELEKTRONIK, ELEKTROMOBILITAT, 2011, 2132 : 361 - 370
  • [43] A Confidence-based Software Voter for Safety-Critical Systems
    Rezaee, Mohammadreza
    Sedaghat, Yasser
    Khosravi-Farmad, Masoud
    [J]. 2014 IEEE 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING (DASC)/2014 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTING (EMBEDDEDCOM)/2014 IEEE 12TH INTERNATIONAL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING (PICOM), 2014, : 196 - 201
  • [44] Efficient engineering of safety-critical, software-intensive systems
    Taiber, Joachim
    McGregor, John D.
    [J]. 2014 INTERNATIONAL CONFERENCE ON CONNECTED VEHICLES AND EXPO (ICCVE), 2014, : 836 - 841
  • [45] Modeling and automatic failure analysis of safety-critical systems using extended safecharts
    Chen, Yean-Ru
    Hsiung, Pao-Ann
    Chen, Sao-Jie
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2007, 4680 : 451 - +
  • [46] Taxonomy for software voting algorithms used in safety-critical systems
    Latif-Shabgahi, G
    Bass, JM
    Bennett, S
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2004, 53 (03) : 319 - 328
  • [47] ASSESSING TRADITIONAL VERIFICATIONS EFFECTIVENESS ON SAFETY-CRITICAL SOFTWARE SYSTEMS
    GOWEN, LD
    COLLOFELLO, JS
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (02) : 103 - 115
  • [48] Software-Based Remote Attestation for Safety-Critical Systems
    Preschern, Christopher
    Hoermer, Andreas Johann
    Kajtazovic, Nermin
    Kreiner, Christian
    [J]. IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 8 - 12
  • [49] Managing architectural design decisions for safety-critical software systems
    Wu, Weihang
    Kelly, Tim
    [J]. QUALITY OF SOFTWARE ARCHITECTURES, 2006, 4214 : 59 - +
  • [50] The quantitative safety assessment for safety-critical software
    Yu, YY
    Johnson, BW
    [J]. 29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
12345