A subjective methodology for safety analysis of safety requirements specifications

1997 ◽  
Vol 5 (3) ◽  
pp. 418-430 ◽  
Author(s):  
J. Wang
Keyword(s):  
Safety Analysis ◽  
Safety Requirements ◽  
Requirements Specifications

Integrated safety analysis of requirements specifications

1997 ◽  
Vol 2 (2) ◽  
pp. 65-78 ◽  
Author(s):  
F. Modugno ◽  
N. G. Leveson ◽  
J. D. Reese ◽  
K. Partridge ◽  
S. D. Sandys
Keyword(s):  
Safety Analysis ◽  
Requirements Specifications

Model-Based Functional Safety Analysis and Architecture Optimisation

2013 ◽  
pp. 79-92 ◽  
Author(s):  
David Parker ◽  
Martin Walker ◽  
Yiannis Papadopoulos
Keyword(s):  
Failure Modes ◽  
State Of The Art ◽  
Safety Analysis ◽  
The State ◽  
Model Transformations ◽  
Critical Systems ◽  
Safety Requirements ◽  
Failure Patterns ◽  
Reusable Component ◽  
Computer Based

The scale and complexity of computer-based safety critical systems pose significant challenges in the safety analysis of such systems. In this chapter, the authors discuss two approaches that define the state of the art in this area: failure logic modelling and behavioural modelling safety analyses. They also focus on Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS)—one of the advanced failure logic modelling approaches—and discuss its scientific and practical contributions. These include a language for specification of inheritable and reusable component failure patterns, a temporal logic that enables assessment of sequences of faults in safety analysis as well as algorithms for top-down allocation of safety requirements to components during design, bottom-up verification via automatic synthesis of Fault Trees and Failure Modes and Effects Analyses, and dependability versus cost optimisation of systems via automatic model transformations. The authors summarise these contributions and discuss strengths and limitations in relation to the state of the art.

scholarly journals Safety Requirements Analysis using Misuse Cases Method

2021 ◽  
Vol 7 (1) ◽  
pp. 1-9
Author(s):  
Ryo Alif Ramadhan ◽  
Dana Sulistyo Kusumo ◽  
Jati Hiliamsyah Husen
Keyword(s):  
Software Development ◽  
Requirements Engineering ◽  
Security Analysis ◽  
Safety Analysis ◽  
Requirements Analysis ◽  
Software Requirements ◽  
Analysis Approach ◽  
Analysis Method ◽  
Safety Requirements ◽  
Software Product

Safety requirements analysis is an activity inside software requirements engineering that focuses on finding and solving safety gaps inside a software product. One method to do safety requirements analysis is misuse cases, a technique adopted from the security analysis method. Misuse cases provide a safety analysis approach which allows detailed steps from different stakeholders' perspective. In this research, we evaluate the misuse cases method's understandability by implementing it to analyze safety requirements for an electric car's autopilot system. We assessed the developed models using the walkthrough method. We found differences between how the model understood from someone with experience in software development and those who don't.

Design and Safety Analysis of a Kind of UO2 Pellets Transport Container

2018 ◽  
Author(s):  
Shutang Sun ◽  
Dongyuan Meng ◽  
Guoqiang Li ◽  
Hongchao Sun ◽  
Jiangang Zhang ◽  
...  
Keyword(s):  
Water Immersion ◽  
Safety Analysis ◽  
Element Analysis ◽  
Safety Requirements ◽  
Transport Container ◽  
Analysis Process ◽  
Fuel Pellets ◽  
Series Of Experiments ◽  
Nuclear Fuel Pellets ◽  
Transport Accidents

In this paper, a kind of transport container we designed was introduced. This container was designed to transport nuclear fuel pellets in different enrichment of U-235. The weight of this package is about 400kg, including the contents. One protect shell and two sealed border were designed in this container, which can ensure the contents were intact and the package has no criticality risk after transport accidents. During the design and safety analysis process, finite element analysis methods were used to improve the structure and analyze the safety performances of the container. In addition, we will test the safety performances of this container through a series of experiments in the future, including 9m drop (or crush), puncture, fire, water immersion and so on. Now, the calculate results show that this container was fit to the safety requirements in the transport accidents.

scholarly journals Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

2020 ◽  
Vol 2020 ◽  
pp. 1-12
Author(s):  
Haiyun Yang ◽  
Youchao Sun ◽  
Longbiao Li ◽  
Yundong Guo ◽  
Siyu Su ◽  
...  
Keyword(s):  
Petri Net ◽  
System Architecture ◽  
Traditional Approach ◽  
Fault Tree Analysis ◽  
Safety Analysis ◽  
Static Model ◽  
Cell System ◽  
Safety Requirements ◽  
Integrated Modular Avionics ◽  
Generalized Stochastic Petri Net

Compared with federated avionic architecture, the integrated modular avionic (IMA) system architecture in the aircraft can provide more sophisticated and powerful avionic functionality, and meanwhile, it becomes structurally dynamic, variably interconnected, and highly complex. The traditional approach such as fault tree analysis (FTA) becomes neither convenient nor sufficient in making safety analysis of the IMA system. In order to overcome the limitations, the approach that FTA combines with generalized stochastic petri net (GSPN) is proposed. First, FTA is used to establish the static model for the top level of the IMA system, while GSPN is used to build a dynamic model for each cell system. Finally, the combination model is generated, which is called the FTGPN model. Moreover, the FTGPN model is made safety analysis with the PIPE2 tool. According to the simulation result, corresponding measures are taken to meet the safety requirements of the IMA system.

Sign in / Sign up

Export Citation Format

Share Document