scholarly journals Topology-based Safety Analysis for Safety Critical CPS

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

scholarly journals The Proposal of the Process of Safety Analysis for Complex Dynamic Technology Systems

2013 ◽  
Vol 21 (Special-Issue) ◽  
pp. 104-108
Author(s):  
Milan Štrbo ◽  
Pavol Tanuška ◽  
Augustín Gese
Keyword(s):  
Control System ◽  
Dynamic Systems ◽  
Quantitative Methods ◽  
Safety Analysis ◽  
Complex Dynamic ◽  
Critical States ◽  
Safety Critical ◽  
Qualitative And Quantitative ◽  
Qualitative And Quantitative Methods ◽  
Complex Dynamic Systems

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.

Safety Analysis of Safety-Critical Systems Using State-Space Models

IEEE Software ◽  
2017 ◽  
Vol 34 (4) ◽  
pp. 38-47 ◽  
Author(s):  
Vinay Kumar ◽  
Lalit Kumar Singh ◽  
Anil Kumar Tripathi ◽  
Pooja Singh
Keyword(s):  
State Space ◽  
Safety Analysis ◽  
State Space Models ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

Offshore Safety Assessment and Safety-Based Decision-Making—The Current Status and Future Aspects

1999 ◽  
Vol 122 (2) ◽  
pp. 93-99 ◽  
Author(s):  
J. Wang ◽  
O. Kieran
Keyword(s):  
Decision Making ◽  
Safety Assessment ◽  
Safety Analysis ◽  
Current Status ◽  
Safety Critical ◽  
Critical Elements ◽  
Offshore Installations ◽  
Safety Case ◽  
The Uk ◽  
Further Development

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]

scholarly journals Safety Analysis of Deep Neural Networks

2021 ◽  
Author(s):  
Dario Guidotti
Keyword(s):  
Machine Learning ◽  
Neural Networks ◽  
Computer Science ◽  
Deep Neural Networks ◽  
Safety Analysis ◽  
Learning Models ◽  
Safety Critical ◽  
Machine Learning Models

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.

The Dynamical Systems Safety Analysis by SQMD Method

2014 ◽  
Vol 693 ◽  
pp. 92-97
Author(s):  
Pavol Tanuska ◽  
Milan Strbo ◽  
Augustin Gese ◽  
Barbora Zahradnikova
Keyword(s):  
Dynamical System ◽  
Control System ◽  
Dynamical Systems ◽  
Critical Points ◽  
Safety Analysis ◽  
Critical System ◽  
Safety Critical ◽  
Qualitative And Quantitative ◽  
Safety Critical System

The objective of the article is to demonstrate the principle of the SQMD method concept for performing safety analysis on the example of a dynamical system. The safety analysis is performed in the process of designing a control system for safety-critical system processes. The safety analysis is aimed at using the models to monitor different critical points of the system. For the purpose of modelling, we suggest using the SQMD method combining qualitative and quantitative procedures of modelling and taking both methods advantages.

scholarly journals Safety Analysis of a Certifiable Air Data System Based on Synthetic Sensors for Flow Angle Estimation

2021 ◽  
Vol 11 (7) ◽  
pp. 3127
Author(s):  
Angelo Lerro ◽  
Manuela Battipede
Keyword(s):  
Safety Analysis ◽  
Data System ◽  
System Safety ◽  
Critical System ◽  
Flow Angle ◽  
Mean Time Between Failures ◽  
Safety Critical ◽  
Safety Critical System ◽  
Time Between Failures ◽  
Mean Time

This work deals with the safety analysis of an air data system (ADS) partially based on synthetic sensors. The ADS is designed for the small aircraft transportation (SAT) community and is suitable for future unmanned aerial vehicles and urban air mobility applications. The ADS’s main innovation is based on estimation of the flow angles (angle-of-attack and angle-of-sideslip) using synthetic sensors instead of classical vanes (or sensors), whereas pressure and temperature are directly measured with Pitot and temperature probes. As the air data system is a safety-critical system, safety analyses are performed and the results are compared with the safety objectives required by the aircraft integrator. The present paper introduces the common aeronautical procedures for system safety assessment applied to a safety critical system partially based on synthetic sensors. The mean time between failures of ADS’s sub-parts are estimated on a statistical basis in order to evaluate the failure rate of the ADS’s functions. The proposed safety analysis is also useful in identifying the most critical air data system parts and sub-parts. Possible technological gaps to be filled to achieve the airworthiness safety objectives with nonredundant architectures are also identified.

Sign in / Sign up

Export Citation Format

Share Document