scholarly journals A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software

Author(s):  
Asim Abdulkhaleq ◽  
Stefan Wagner
Author(s):  
J M√ºller ◽  
E Schnieder ◽  
T Ständer

Author(s):  
Milan Štrbo ◽  
Pavol Tanuška ◽  
Augustín Gese

Abstract The aim of this article is the proposal of process of the safety analysis for complex dynamic systems in process of the proposal of control system for safety-critical processes. The method of safety analysis depends on various safety-critical states of system which are system are controlled by models. We propose to use the method SQMD for modeling these states. This method combines qualitative and quantitative methods of modeling states and takes advantage of both methods. The model of the proposal is shown in the diagram. The article includes detailed description of the tasks for each step of analysis.


2016 ◽  
Vol 95 ◽  
pp. 32-39 ◽  
Author(s):  
Jean-Yves Choley ◽  
Faïda Mhenni ◽  
Nga Nguyen ◽  
Anis Baklouti

Author(s):  
Masayoshi SHIBA ◽  
Yasukazu ISHIDA ◽  
Tohru HAGA ◽  
Shuji INOUE ◽  
Akito NISHI ◽  
...  

IEEE Software ◽  
2017 ◽  
Vol 34 (4) ◽  
pp. 38-47 ◽  
Author(s):  
Vinay Kumar ◽  
Lalit Kumar Singh ◽  
Anil Kumar Tripathi ◽  
Pooja Singh

1999 ◽  
Vol 122 (2) ◽  
pp. 93-99 ◽  
Author(s):  
J. Wang ◽  
O. Kieran

The offshore installations (safety case) regulations were developed in the UK in 1992 and came into force in 1993 in response to the accepted findings of the Piper Alpha enquiry. Recently, “the offshore installations and wells (design and construction, etc.) regulations” (DCR 1996) were introduced to offshore safety analysis. From the earliest stages of the installation’s life cycle, operators must ensure that all safety-critical elements in both the software and system domains be assessed. Hazards can be identified and the risks associated with them can be assessed and evaluated using a number of techniques and decision-making strategies, all aimed at producing an installation with lifetime safety integrity. In this paper, following a brief review of the current status of offshore safety regulation in the UK, several offshore safety assessment frameworks are presented. These include top-down, bottom-up, probabilistic, and subjective approaches. The conditions under which each approach may be applied effectively and efficiently are discussed. Probabilistic safety-based decision-making and subjective safety-based decision-making are then studied. Two examples are used to demonstrate the decision-making approaches. Recommendations on further development in offshore safety analysis are suggested. [S0892-7219(00)00901-8]


Author(s):  
Dario Guidotti

Deep Neural Networks (DNNs) are popular machine learning models which have found successful application in many different domains across computer science. Nevertheless, providing formal guarantees on the behaviour of neural networks is hard and therefore their reliability in safety-critical domains is still a concern. Verification and repair emerged as promising solutions to address this issue. In the following, I will present some of my recent efforts in this area.


Sign in / Sign up

Export Citation Format

Share Document