Proceedings ArticleDOI
Automatic allocation of safety integrity levels
Yiannis Papadopoulos,Martin Walker,Mark-Oliver Reiser,Matthias Weber,DeJiu Chen,Martin Törngren,David Servat,Andreas Abele,Friedhelm Stappert,Henrik Lönn,L. Berntsson,Rolf Johansson,Fulvio Tagliabo,Sandra Torchiaro,Anders Sandberg +14 more
- pp 7-10
Reads0
Chats0
TLDR
The concept is generic and can be adapted to facilitate the safety engineering approach defined in several standards that employ the concept of integrity or assurance levels including ISO 26262, the emerging automotive safety standard.Abstract:
In this paper, we describe a concept for the automatic allocation of general Safety Integrity Levels (SILs) to subsystems and components of complex hierarchical networked architectures that deliver sets of safety critical functions. The concept is generic and can be adapted to facilitate the safety engineering approach defined in several standards that employ the concept of integrity or assurance levels including ISO 26262, the emerging automotive safety standard. SIL allocation is facilitated by HiP-HOPS, an automated safety analysis tool, and can be performed in the context of development using EAST-ADL2, an automotive architecture description language. The process rationalizes complex risk allocation and leads to optimal/economic allocation of SILs.read more
Citations
More filters
Proceedings ArticleDOI
Design Optimization of Mixed-Criticality Real-Time Applications on Cost-Constrained Partitioned Architectures
Domitian Tamas-Selicean,Paul Pop +1 more
TL;DR: A Tabu Search-based approach to solve the optimization problem of mixed-criticality hard real-time applications on a given heterogeneous distributed architecture, such that all the applications are schedulable and the development costs are minimized.
Proceedings Article
Automatic Optimisation of System Architectures using EAST-ADL.
DeJiu Chen,Henrik Lönn,Chokri Mraidha,Yiannis Papadopoulos,Mark-Oliver Reiser,David Servat,Luís Silva Azevedo,Sara Tucci Piergiovanni,Martin Walker +8 more
TL;DR: In this article, the authors present a comprehensive optimisation approach that incorporates a flexible number of ob-jectives together with the corresponding external analyses for evaluating them and uses only a single system model as information repository for all objectives and analyses.
Journal ArticleDOI
Design Optimization of Mixed-Criticality Real-Time Embedded Systems
TL;DR: A Tabu Search-based approach to solve the optimization problem of implementing mixed-criticality real-time embedded applications on a given heterogeneous distributed architecture, such that all the applications are schedulable and the development costs are minimized.
DissertationDOI
Runtime Monitoring for Safety-Critical Embedded Systems
TL;DR: This thesis presents a suitable runtime monitoring framework for monitoring safety-critical embedded systems with black-box components, and provides an end-to-end framework including proven correct monitoring algorithms, a formal specification language with semi-formal techniques to map the system onto the authors' formal system trace model, and a safety-case pattern example showing the argument that the monitor design can be safely integrated with a target system.
Journal ArticleDOI
Automatic optimisation of system architectures using EAST-ADL
Martin Walker,Mark-Oliver Reiser,Sara Tucci-Piergiovanni,Yiannis Papadopoulos,Henrik Lönn,Chokri Mraidha,David Parker,DeJiu Chen,David Servat +8 more
TL;DR: This paper presents a multi-objective optimisation approach based on EAST-ADL , an ADL in the automotive domain, with the goal of combining the advantages of ADLs and architectural optimisation, designed to be extensible.
References
More filters
Reliability Engineering and System Safety
TL;DR: In this paper, a polynomial dimensional decomposition (PDD) method for global sensitivity analysis of stochastic systems subject to independent random input following arbitrary probability distributions is presented.
Journal ArticleDOI
Estimation of average hazardous-event-frequency for allocation of safety-integrity levels
Y Misumi,Yoshinobu Sato +1 more
TL;DR: New definitions regarding modes of operation for the allocation of Safety Integrity Levels and shortcut methods for estimation of hazardous-event frequencies are proposed.
Book ChapterDOI
Modelling Support for Design of Safety-Critical Automotive Embedded Systems
DeJiu Chen,Rolf Johansson,Henrik Lönn,Yiannis Papadopoulos,Anders Sandberg,Fredrik Törner,Martin Törngren +6 more
TL;DR: This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems by integrating safety analysis techniques, a method for developing and managing Safety Cases, and the EAST-ADL2 architecture description language.
Proceedings ArticleDOI
Connecting commercial computers to avionics systems
TL;DR: This paper proposes a safe architecture allowing the connection of commercial computers to avionics systems, without altering any embedded software component behavior, for future aircraft generations in which bidirectional communications are carried between onboard and off-board computers.