Fault mitigation in safety-critical software systems

2002 ◽  
Author(s):  
S. Subramanian ◽  
L. Elliott ◽  
R.V. Vishnuvajjala ◽  
W.T. Tsai ◽  
R. Mojdehbakhsh
Keyword(s):  
Software Systems ◽  
Safety Critical

Test based safety-critical software reliability estimation using Bayesian method and flow network structure

2019 ◽  
Vol 233 (5) ◽  
pp. 847-856
Author(s):  
Yaguang Yang
Keyword(s):  
Software Reliability ◽  
Probabilistic Method ◽  
Reliability Estimation ◽  
Software Test ◽  
Consensus Method ◽  
Software Systems ◽  
Engineering Systems ◽  
Critical Systems ◽  
Safety Requirements ◽  
Safety Critical

System safety is closely related to system reliability. Safety requirements many times are translated to reliability requirements. Nowadays, software systems exist in many engineering systems. However, there is no consensus method for software reliability estimation. On the contrary, there is an increasing interest in estimating the software reliability due to concerns for safety-critical systems. In this article, we try to close the gap by proposing a systematic and probabilistic method to estimate the software reliability based on software test data.

scholarly journals Safety critical software ground rules

2018 ◽  
Vol 7 (2.28) ◽  
pp. 344
Author(s):  
Krishna Chaya Addagarrala ◽  
Patrick Kinnicutt
Keyword(s):  
Software Development ◽  
Software Systems ◽  
Critical Systems ◽  
Safety Critical ◽  
Research Areas ◽  
Safety And Reliability ◽  
Serious Injury ◽  
Active Research ◽  
Software Development Practices

Safety critical software development field is one of the active research areas in many industries like automotive, medical, railways, nuclear and aerospace are placing increased value on safety and reliability. Safety critical software systems are those systems whose failure could result in the death or a serious injury to the people’s life, security is one of the important topics in the field of safety-critical systems and it must be addressed completely in order to operate safety critical software successfully. In this paper we present a study about the set of standards and different ground rules to be followed in critical software development practices in different industries and the challenges in applying these standards. We also discuss the role of static analysis and software integrity levels in these standards, similarities in these standards and the set of activities followed in the development process of these standards. 

Sign in / Sign up

Export Citation Format

Share Document