The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
determining the failure propagation paths is always an important content of safety analysis. The traditional safety analysis methods are hard to deal with large complex systems. Therefore, model-based safety analysis (MBSA) becomes increasingly popular. However, the existing modeling methodologies are mainly modeled from one of the following three aspects, function, structure and state. This lacking...
With the development of the Model Based Systems Engineering (MBSE), the Model-based safety analysis (MBSA) process and techniques have been widely studied and applied, which include system modeling, safety properties verification and safety analysis. As a core task, model checking explores the state space of the system model to generate counter-examples which describe system state sequences not meeting...
Fault propagation identification is an indispensable task in complex system safety analysis. With the growing of system scale and complexity, it is hard for the traditional safety analysis techniques, which depend mainly on analysts' personal skills and experiences, to keep completeness and timeliness; moreover, some failure modes may be neglected and failure effects misjudged during the analysis...
In order to specify the description of accident process and structure the general formal model, this paper abstracted and defined some correlate concepts of fault propagation process, and carried on a systematic formal description to accident development process through introducing the typical six-elements Finite State Machine (FSM). Then, this paper built the fault propagation models of the system...
In the development of safety-critical system, ModelBased Safety Assessment (MBSA) process can reduce the development complexity and improve assessment efficiency. As an important part of MBSA, system modeling and safety requirements description with formal methods still lack a well-defined process. In this paper, the relationship between traditional safety assessment process and MBSA is discussed,...
Integrated Modular Avionics (IMA), which is universally considered as safety-critical and software-intensive system, can effectively improve the efficiency comparing with the traditional avionics. However, it also brings up a series of problems, such as fault propagation and functional margin blur. Based on the ideology of preliminary hazard analysis(PHA), this paper firstly makes a rethinking about...
As a conceptualization of the characteristics of an accident, the accident model indicates the hazard factors in the systems and describes the process of system accidents. Therefore, accident models are the basis of system safety analysis and assessment. This paper presents a mission-oriented accident model to adopt the complex characteristics in the socio-technical system. Based on the principles...
An accident is regarded as an emergent phenomenon in the complex socio-technical systems, so the systemic accident models should be created to adapt the complex characteristics. Event Sequence Diagram (ESD) has been used for PRA in many industries, which can present an accident scenario visually by describing the sequence of events ordered in time. But the ESD belongs to semi-dynamic because it represents...
How to improve system operation safety is an important problem faced by researchers and operators. The core of system operation is the human-machine interaction; so based on system safety analysis, it is an important approach to improve weapon operation safety by constructing man-in-the-loop simulation system to train the operators. Aiming to train the operators safety manipulations and emergency...
Flight safety is an important problem in aviation industry and flight accidents are the result of multi-elements which affect each other. In order to analyze the development process of flight accidents, from the view of system safety, the flight process was abstracted to a hybrid dynamic system based on discrete event dynamic system theory, and a systemic causal simulation model is discussed. Through...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.