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 条
  • [1] A tool for the design and analysis of software safety-critical systems
    Gill, JA
    Ferguson, F
    [J]. INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
  • [2] Software reliability analysis for safety-critical and control systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    [J]. QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353
  • [3] SafeX: Open Source Hardware and Software Components for Safety-Critical Systems
    Alcaide, Sergi
    Cabo, Guillem
    Bas, Francisco
    Benedicte, Pedro
    Fuentes, Francisco
    Chang, Feng
    Lasfar, Ilham
    Canal, Ramon
    Abella, Jaume
    [J]. PROCEEDINGS OF THE 2022 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2022,
  • [4] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [5] Building safety-critical real-time systems with synchronous software components
    Gunzert, M
    [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 63 - 68
  • [6] Composable Safety-Critical Systems Based on Pre-Certified Software Components
    Soderberg, Andreas
    Vedder, Benjamin
    [J]. 23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), 2012, : 343 - 348
  • [7] Fault mitigation in safety-critical software systems
    Subramanian, S
    Elliott, L
    Vishnuvajjala, RV
    Tsai, WT
    Mojdehbakhsh, R
    [J]. NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
  • [8] Software reuse in safety-critical airborne systems
    Wlad, Joe
    [J]. 2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 1160 - 1167
  • [9] Safety-critical software
    [J]. 1600, IEEE Computer Society (30):
  • [10] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    [J]. ERCIM NEWS, 2008, (75): : 12 - 13
12345