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 A methodology for model-based verification of safety contracts and performance requirements

2016 ◽  
Vol 232 (3) ◽  
pp. 227-247 ◽  
Author(s):  
Elena Gómez-Martínez ◽  
Ricardo J Rodríguez ◽  
Clara Benac-Earle ◽  
Leire Etxeberria ◽  
Miren Illarramendi
Keyword(s):  
Formal Methods ◽  
Language Model ◽  
Critical Systems ◽  
Object Constraint Language ◽  
Modelling Language ◽  
Industrial Case Study ◽  
Safety Requirements ◽  
Safety Critical ◽  
Unified Modelling Language ◽  
Constraint Language

The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software systems, albeit with a considerable effort. In any case, such an effort is cost-effective when verifying safety-critical systems. Often, safety requirements are expressed using safety contracts, in terms of assumptions and guarantees. To facilitate the adoption of formal methods in the safety-critical software industry, we propose a methodology based on well-known modelling languages such as the unified modelling language and object constraint language. The unified modelling language is used to model the software system while object constraint language is used to express the system safety contracts within the unified modelling language. In the proposed methodology a unified modelling language model enriched with object constraint language constraints is transformed to a Petri net model that enables us to formally verify such safety contracts. The methodology is evaluated on an industrial case study. The proposed approach allows an early safety verification to be performed, which increases the confidence of software engineers while designing the system.

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. 

scholarly journals SARSSi*: a Safety Requirements Specification Method based on STAMP/STPA and i* language

2019 ◽  
Author(s):  
Jéssyka Vilela ◽  
Carla Silva ◽  
Jaelson Castro ◽  
Luiz Eduardo G. Martins ◽  
Tony Gorschek
Keyword(s):  
Hazard Analysis ◽  
Requirements Specification ◽  
Critical Systems ◽  
Safety Requirements ◽  
Safety Critical ◽  
Analysis Techniques ◽  
Specification Method ◽  
Systematic Identification ◽  
Initial Results

Context: traditional hazard analysis techniques were not proposed to be used in the Requirements Engineering (RE) process. Objective: The aim of this work is to present and discuss a new method for early safety requirements specification called SARSSi* to be used at the beginning of the development of safety-critical systems. Method: this goal is achieved through the combination of two techniques: (1) STAMP/STPA; and (2) i* language. Results: this paper attempts to bridge the gap between two parallel trends in systematic safety approaches – the combination of requirements and safety engineering techniques. Our method consists of six steps and guidelines to perform a preliminary hazard analysis and facilitate the systematic identification of safety-critical functions and components. Conclusions: We demonstrate the utility of our method by applying it in a real industry case study. The initial results show preliminary suitability of our method and its contribution to improving the visualization of the information generated in the hazard analysis such as the hazards, their causes, environmental conditions, and safety requirements.

Sign in / Sign up

Export Citation Format

Share Document