Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report

2017 ◽  
pp. 363-369 ◽  
Author(s):  
Luciana Provenzano ◽  
Kaj Hänninen
Keyword(s):  
Experience Report ◽  
Software Requirements ◽  
Safety Critical ◽  
Railway Systems

scholarly journals Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.

2019 ◽  
Vol 18 (2) ◽  
pp. 1:1 ◽  
Author(s):  
Romina Eramo ◽  
Florent Marchand de Kerchove ◽  
Maximilien Colange ◽  
Michele Tucci ◽  
Julien Ouy ◽  
...  
Keyword(s):  
System Development ◽  
Experience Report ◽  
Critical System ◽  
Safety Critical ◽  
Model Driven ◽  
Safety Critical System

Characteristics for Performance Optimization of Safety-Critical System Development (SCSD)

2020 ◽  
Vol 24 (2) ◽  
pp. 232-242
Author(s):  
Abdulaziz Ahmed Thawaba ◽  
Azizul Azhar Ramli ◽  
Mohd. Farhan Md. Fudzee ◽  
Junzo Wadata ◽  
◽  
...  
Keyword(s):  
Flight Control ◽  
Performance Optimization ◽  
System Development ◽  
Critical Systems ◽  
Critical System ◽  
Safety Critical ◽  
Railway Systems ◽  
Safety Critical System ◽  
Nuclear Systems ◽  
Causes Of Failure

Safety-critical systems (SCS) are the most significant systems that affect our daily life in many areas such as flight control systems, railway systems, medical devices, nuclear systems, and military weapons. SCS failures could result in losing life or serious injuries. Improving the practices during development phases of SCS can reduce failures up to 40%, thus resulting developers to follows specific development practices and techniques. Developers should improve safety-critical system development (SCSD) by taking into account all factors and understanding the causes of failure. Previous studies have highlighted the causes of failure during the development of SCS, but for specific areas such as designs, requirements, or the human factor, while developers need to know the causes of failure in all areas and the relationship between them clearly and comprehensively. This research aims to analyze SCSD characteristics and discuss performance improvement as well as causes of failure. This paper proposed a guideline that helps developers reduce the causes of failure during SCS development. This guide has four characteristics, each with a role in improving SCSD and reducing causes of failure.

Sign in / Sign up

Export Citation Format

Share Document