Model Based Safety Analysis with smartIflow

Hönig, Philipp; Lunde, Rüdiger; Holzapfel, Florian

doi:10.3390/info8010007

Cited by 14 publications

(8 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Besides, the state calculation results of the logic Eqs. (6) and (7) also indicated that the top-level traffic surveillance function could be completed as the task state value remained larger than zero. Func_i.state…”

Section: Inherent Failure Situation: Traffic Antenna Failmentioning

confidence: 97%

“…The State Machine for Automation of Reliability-related Tasks using Information FLOWs (SmartIflow) represents another MBSA method that has been designed to automate the safety analysis process [10,7,3], Compared to the formal safety analysis methods, this method possesses the advantages of dynamic behavior description and state transformation visualization. The state-based analysis methods have facilitated the dynamic evaluation of the failure effect, thus realizing the global perception of the safety state.…”

Section: Gang Xiaomentioning

confidence: 99%

See 1 more Smart Citation

State-based safety analysis method for dynamic evaluation of failure effect

Xiao

Wang

2020

View full text Add to dashboard Cite

System state that represents a combined influence of internal and external system parameters on the overall failure effect plays a significant role in failure effect analysis. The traditional safety analysis methods can hardly evaluate the overall failure impact due to the dynamic failure behaviors in diverse system interaction situations. To overcome this problem, this paper proposes a state-based safety analysis method for dynamic evaluation of the failure effect combining the situation factor. First, a hierarchical modeling framework that includes functional logic, physical architecture, and the failure mode is constructed, and then the cross-linking relationships between items are characterized by the state machines. Particularly, the event transmission mechanism and the global attribute updating mechanism are designed to realize the state synchronization of various systems, thus enabling the global propagation of failure. The feasibility of the proposed method is verified by simulations. The Enterprise Architect platform is used to model the aircraft integrated surveillance system and analyze the effects of different failure modes in typical situations. The proposed method complements the failure effect evaluation accuracy considering the dynamic interaction situations, thus realizing the global perception of the safety state, enhancing the dynamics and integrity of the failure effect analysis process.

show abstract

Section: Inherent Failure Situation: Traffic Antenna Failmentioning

confidence: 97%

Section: Gang Xiaomentioning

confidence: 99%

State-based safety analysis method for dynamic evaluation of failure effect

Xiao

Wang

2020

View full text Add to dashboard Cite

show abstract

“…While certain techniques focus on making the analysis process more manageable, other MBDA techniques have been developed to address the limitations of traditional techniques [39]. The field of MBDA encompasses a large variety of techniques, such as HiP-HOPS workbench [40], FPTN [41], FPTC [42], SAML [43], smartIflow [44], AltaRica [45], and Figaro [46].…”

Section: Related Workmentioning

confidence: 99%

“…One classification criteria is the type of connection modelling [44]. Directed connections are commonly used in MBDA techniques, but in some situations the use of undirected connections helps to keep a model structure close to reality.…”

Section: Related Workmentioning

confidence: 99%

An open modelling approach for availability and reliability of systems

Penttinen

Niemi

Gutleber

et al. 2019

Reliability Engineering & System Safety

View full text Add to dashboard Cite

This paper introduces an Open Modelling approach for Availability and Reliability of Systems (OpenMARS), which is developed for risk and performance assessment of large and complex systems with dynamic behaviours. The approach allows for combining the most common risk assessment and operation modelling techniques. This ensures a high degree of freedom for the modeller to accurately describe the system without limitations imposed by an individual technique. OpenMARS uses a platform-independent tabular format to define the used modelling technique, to create the model structure, and to assign the parameter values. We developed the format to enable a straightforward manual model definition while maintaining database compatibility. This paper also presents our calculation engine for stochastic simulation-based analysis of OpenMARS models. Our intention is to use this approach as a basis for new software. We demonstrate the feasibility of OpenMARS with an example of a multi-state production process that is subject to failures. The example creates a comprehensive system model by combining interconnected failure logic, operation phase, and production function models. We believe that the advanced features of OpenMARS have wide ranging applications for analysis of reliability, performance, and energy efficiency of complex industrial processes.

show abstract

“…In addition, traditional safety analyses (FTA, etc.) are usually based on informal system models, which are always regarded as incomplete, inconsistent, and error-prone [8]. Moreover, a consistent formal model is needed in both system design procedure and safety analysis procedure.…”

Section: Introductionmentioning

confidence: 99%

Availability Assessment of IMA System Based on Model-Based Safety Analysis Using AltaRica 3.0

Dong

Gu²,

Wang

et al. 2019

Processes

View full text Add to dashboard Cite

The integrated modular avionics (IMA) system is widely used in all classes of aircraft as a result of its high functional integration and resource utilization in developing advanced avionics systems. However, a series of challenges related to safety assessment exist in the background of the logical architecture for multi-message interactions of the IMA system. Traditional safety assessment methods are mainly based on engineering experience, and are difficult to reuse, incomplete, and even error-prone. Here we propose a method to assess the availability of the IMA system based on the thinking of model-based safety analysis. To aid the proposed method, we implement a tool to generate a AltaRica 3.0 file used to assess the IMA system model. The simulation results show that the proposed method makes the availability assessment fast, efficient, and effective. Moreover, we apply this method to the modification analysis of the IMA system under the condition of satisfying the safety requirement. Our study can enhance the safety assessment of safety-critical systems effectively, assist the design of IMA systems, and reduce the amount of errors during the programming process of the safety model.

show abstract

Model Based Safety Analysis with smartIflow

Cited by 14 publications

References 10 publications

State-based safety analysis method for dynamic evaluation of failure effect

State-based safety analysis method for dynamic evaluation of failure effect

An open modelling approach for availability and reliability of systems

Availability Assessment of IMA System Based on Model-Based Safety Analysis Using AltaRica 3.0

Contact Info

Product

Resources

About