MORE: MOdel-based REdundancy for Simulink

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

Fault tolerance plays a significant role in the safety-critical system design that enables a system to continue performing its intended functions in presence of faults. Redundancy is the key underlying method to achieve fault tolerance. Hardware redundancy and software redundancy are well-known redundancy techniques. In case of model-based development, redundancy mechanisms can be applied directly at the model level, e.g. to a Simulink model. This paper introduces a new, model-based redundancy technique to tolerate hardware faults, called model-based redundancy (MORE). Applications of fault-tolerant design patterns, such as comparison, voting, and sparing, to Simulink models are introduced. A Simulink PID controller model is demonstrated as a case study to show the effectiveness and feasibility of the introduced approach. The paper also addresses the mutual optimization of reliability properties and system performance. We apply the MORE separately to the P, I, D terms and analyze system performance and achieved reliability properties, evaluated using a stochastic dual-graph error propagation model.

Details

OriginalspracheEnglisch
TitelComputer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Proceedings
Redakteure/-innenAmund Skavhaug, Friedemann Bitsch, Barbara Gallina
Herausgeber (Verlag)Springer-Verlag
Seiten250-264
Seitenumfang15
ISBN (Print)9783319991290
PublikationsstatusVeröffentlicht - 2018
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band11093 LNCS
ISSN0302-9743

Konferenz

Titel37th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2018
Dauer18 - 21 September 2018
StadtVasteras
LandSchweden

Externe IDs

Scopus 85053813784

Schlagworte

Schlagwörter

  • Dependability, Design patterns, Fault tolerance, Model-based design, Redundancy, Reliability, Silent data corruption, Simulink, Soft errors, Stochastic method