INSiDER: Incorporation of system and safety analysis models using a dedicated reference model

05/31/2021
by   Marc Zeller, et al.
0

In order to enable model-based, iterative design of safety-relevant systems, an efficient incorporation of safety and system engineering is a pressing need. Our approach interconnects system design and safety analysis models efficiently using a dedicated reference model. Since all information are available in a structured way, traceability between the model elements and consistency checks enable automated synchronization to guarantee that information within both kind of models are consistent during the development life-cycle.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/11/2018

Model-Based Safety and Security Engineering

By exploiting the increasing surface attack of systems, cyber-attacks ca...
research
06/02/2021

Meta model application for consistency management of models for avionic systems design

This paper presents the application of a meta model and single underlyin...
research
05/13/2021

Merit and Blame Assignment with Kind 2

We introduce two new major features of the open-source model checker Kin...
research
03/11/2022

Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context

There is a desire to move towards more flexible and automated factories....
research
04/22/2021

Enabling Cross-Layer Reliability and Functional Safety Assessment Through ML-Based Compact Models

Typical design flows are hierarchical and rely on assembling many indivi...
research
10/10/2019

A state-of-knowledge review on the Endurance Time Method

Endurance time method is a time history dynamic analysis in which struct...
research
06/07/2021

Verification of Component Fault Trees Using Error Effect Simulations

The growing complexity of safety-relevant systems causes an increasing e...

Please sign up or login with your details

Forgot password? Click here to reset