Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety
The distributed design process for safety-critical embedded systems has become an increasingly difficult challenge: Electronic Control Units (ECUs) in vehicles, for instance, participate in many vehicle functions, while each vehicle function, in turn, is spread across several ECUs. Many suppliers pa...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Riga Technical University
2015-10-01
|
| Series: | Complex Systems Informatics and Modeling Quarterly |
| Subjects: | |
| Online Access: | https://csimq-journals.rtu.lv/article/view/1170 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849220753265786880 |
|---|---|
| author | Bernhard Kaiser Raphael Weber Markus Oertel Eckard Böde Behrang Monajemi Nejad Justyna Zander |
| author_facet | Bernhard Kaiser Raphael Weber Markus Oertel Eckard Böde Behrang Monajemi Nejad Justyna Zander |
| author_sort | Bernhard Kaiser |
| collection | DOAJ |
| description | The distributed design process for safety-critical embedded systems has become an increasingly difficult challenge: Electronic Control Units (ECUs) in vehicles, for instance, participate in many vehicle functions, while each vehicle function, in turn, is spread across several ECUs. Many suppliers participate in systems design and many partial functions are reused from past projects, not always knowing the assumptions at the time of their development. In particular, efficient allocation of safety mechanisms and a sound safety case are difficult tasks for original equipment manufacturers (OEMs). Contract-based development has gained popularity as an approach for supporting distributed development by explicitly annotating assumptions and guarantees to components, but an integrated process covering specification of nominal behavior and safety has not been described so far. We present such an integrated development approach that encompasses the systematic breakdown of nominal system behavior using contracts, the consistent derivation of safety analysis by interpreting several types of contract violations as a specification for failure modes, and the subsequent integration of safety mechanisms that cover these failure modes through safety contracts. The approach equally fits hardware and software and is therefore applicable on the system level. We demonstrate it by an electric drive example. The extensibility of our approach towards Cyber Physical Systems, which compose themselves at runtime, is briefly outlined at the end of the article. |
| format | Article |
| id | doaj-art-e39531c2fe724e8f9f9a1fbe8ddb45fb |
| institution | Kabale University |
| issn | 2255-9922 |
| language | English |
| publishDate | 2015-10-01 |
| publisher | Riga Technical University |
| record_format | Article |
| series | Complex Systems Informatics and Modeling Quarterly |
| spelling | doaj-art-e39531c2fe724e8f9f9a1fbe8ddb45fb2024-12-05T09:56:30ZengRiga Technical UniversityComplex Systems Informatics and Modeling Quarterly2255-99222015-10-0104669110.7250/csimq.2015-4.05721Contract-Based Design of Embedded Systems Integrating Nominal Behavior and SafetyBernhard Kaiser0Raphael Weber1Markus Oertel2Eckard Böde3Behrang Monajemi Nejad4Justyna Zander5Berner&Mattner Systemtechnik GmbH, MunichOFFIS - Institute for Information Technology, OldenburgCarl von Ossietzky University of OldenburgOFFIS - Institute for Information Technology, OldenburgBerner&Mattner Systemtechnik GmbH, MunichBerner&Mattner Systemtechnik GmbH, MunichThe distributed design process for safety-critical embedded systems has become an increasingly difficult challenge: Electronic Control Units (ECUs) in vehicles, for instance, participate in many vehicle functions, while each vehicle function, in turn, is spread across several ECUs. Many suppliers participate in systems design and many partial functions are reused from past projects, not always knowing the assumptions at the time of their development. In particular, efficient allocation of safety mechanisms and a sound safety case are difficult tasks for original equipment manufacturers (OEMs). Contract-based development has gained popularity as an approach for supporting distributed development by explicitly annotating assumptions and guarantees to components, but an integrated process covering specification of nominal behavior and safety has not been described so far. We present such an integrated development approach that encompasses the systematic breakdown of nominal system behavior using contracts, the consistent derivation of safety analysis by interpreting several types of contract violations as a specification for failure modes, and the subsequent integration of safety mechanisms that cover these failure modes through safety contracts. The approach equally fits hardware and software and is therefore applicable on the system level. We demonstrate it by an electric drive example. The extensibility of our approach towards Cyber Physical Systems, which compose themselves at runtime, is briefly outlined at the end of the article.https://csimq-journals.rtu.lv/article/view/1170Embedded systemsfunctional safetycontractscomponent-based developmentsafety analysis |
| spellingShingle | Bernhard Kaiser Raphael Weber Markus Oertel Eckard Böde Behrang Monajemi Nejad Justyna Zander Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety Complex Systems Informatics and Modeling Quarterly Embedded systems functional safety contracts component-based development safety analysis |
| title | Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety |
| title_full | Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety |
| title_fullStr | Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety |
| title_full_unstemmed | Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety |
| title_short | Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety |
| title_sort | contract based design of embedded systems integrating nominal behavior and safety |
| topic | Embedded systems functional safety contracts component-based development safety analysis |
| url | https://csimq-journals.rtu.lv/article/view/1170 |
| work_keys_str_mv | AT bernhardkaiser contractbaseddesignofembeddedsystemsintegratingnominalbehaviorandsafety AT raphaelweber contractbaseddesignofembeddedsystemsintegratingnominalbehaviorandsafety AT markusoertel contractbaseddesignofembeddedsystemsintegratingnominalbehaviorandsafety AT eckardbode contractbaseddesignofembeddedsystemsintegratingnominalbehaviorandsafety AT behrangmonajeminejad contractbaseddesignofembeddedsystemsintegratingnominalbehaviorandsafety AT justynazander contractbaseddesignofembeddedsystemsintegratingnominalbehaviorandsafety |