ErrorSim: A Tool for Error Propagation Analysis of Simulink Models

Saraoglu, Mustafa; Morozov, Andrey; Söylemez, Mehmet Turan; Janschek, Klaus

doi:10.1007/978-3-319-66266-4_16

Cited by 21 publications

(15 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, our attack injection technique is well-suited for evaluating security in early development phases before a physical system or prototype is available. To this end, similar to past work [22], [23], [24], [25] where faults are injected on behavior models of the system using Matlab/Simulink [10], we use the MODIFI tool [12] to inject attacks into Matlab/Simulink models.…”

Section: B Related Workmentioning

confidence: 99%

A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection

Sangchoolie

Folkesson

Vinter

2018

2018 14th European Dependable Computing Conference (EDCC)

View full text Add to dashboard Cite

The combination of high mobility and wireless communication in many safety-critical systems have increased their exposure to malicious security threats. Consequently, many works in the past have proposed solutions to ensure safety and security of these systems. However, not much attention has been given to the interplay between these two groups of nonfunctional requirements. This is a concern as safety solutions may negatively impact system security and vice versa. This paper addresses the interplay between safety and security by proposing an attack injection framework, based on model-implemented fault injection, suitable for model-based design. The framework enables us to study and evaluate the impact of cybersecurity attacks on system safety early in the development process. To this end, we have implemented six attack injection models and conducted experiments on Simulink models of a CAN bus and a brake-by-wire controller. The results show that the security attacks modeled could successfully impact the system safety by violating our defined safety requirements.

show abstract

Section: B Related Workmentioning

confidence: 99%

A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection

Sangchoolie

Folkesson

Vinter

2018

2018 14th European Dependable Computing Conference (EDCC)

View full text Add to dashboard Cite

show abstract

“…The area of Fault Injection is mainly concerned with simulation-based analysis of a system’s safety [ 13 ] or its dependability properties [ 12 ]. Due to its simulative approach, failure characteristics of not only sensors, but of system components in general, have to be modeled as realistically as possible to obtain reliable results.…”

Section: State Of the Art On Sensor Failure Modelingmentioning

confidence: 99%

“…One recently emerged tool in this area is called ErrorSim and was introduced by Saraoğlu et al [ 12 ]. The tool is implemented and focused on MATLAB/Simulink (Software produced by Mathworks, Natick, MA, USA) [ 25 ].…”

Section: State Of the Art On Sensor Failure Modelingmentioning

confidence: 99%

“…Although the approach of Saraoğlu et al [ 12 ] allows engineers to define failure models independently of specific applications, their tool ErrorSim is closely coupled with the MATLAB/ Simulink framework. Therefore, the Generality requirement is only partially fulfilled.…”

Section: State Of the Art On Sensor Failure Modelingmentioning

confidence: 99%

“…The Stressor interprets an XML-based description of a failure model and coordinates the Fault Injectors that perform the actual fault injection. In contrast with the work of Saraoğlu et al [ 12 ], the failure model uses the Behavioral Threat Model (BTM) [ 28 ], a Timed Automata extended with features to manipulate states and variables of the simulated system. In this way, more complex failure characteristics can be represented as engineers are not restricted to predefined failure types, and the Coverage requirement is fulfilled.…”

Section: State Of the Art On Sensor Failure Modelingmentioning

confidence: 99%

See 2 more Smart Citations

Generic Sensor Failure Modeling for Cooperative Systems

Jäger

Zug

Casimiro

2018

Sensors

View full text Add to dashboard Cite

The advent of cooperative systems entails a dynamic composition of their components. As this contrasts current, statically composed systems, new approaches for maintaining their safety are required. In that endeavor, we propose an integration step that evaluates the failure model of shared information in relation to an application’s fault tolerance and thereby promises maintainability of such system’s safety. However, it also poses new requirements on failure models, which are not fulfilled by state-of-the-art approaches. Consequently, this work presents a mathematically defined generic failure model as well as a processing chain for automatically extracting such failure models from empirical data. By examining data of an Sharp GP2D12 distance sensor, we show that the generic failure model not only fulfills the predefined requirements, but also models failure characteristics appropriately when compared to traditional techniques.

show abstract