In this paper we are dealing with the following problem definition: let be given a distributed assembly line composed of modules (digital units) and control units (ECU), linked via a bus interface. Now, consider the scenario where each ECU gets its input from the operating environment (e. g. analog-to-digital sensors) and feeds its output to different modules. The triggered states of these modules are control inputs for actuators. We show how to decompose the overall digital unit into sub-modules and the overall ECU into sub-ECUs. The components should operate in parallel. For consistency, such a decomposition approach needs to result in system level as well as in logic (digital) level in a one-to-one manner as possible. We keep this criterion by using a formalism, which has its representations both in system level and asynchronously digital circuit level, whereby the different types of representations are “uniquely glued” by algebraic automata based modeling. It is a decomposition based on axioms. It implies that on system level a digital unit — in general an arbitrary digital automaton — becomes subdivided into sub-functions, and on logic level, the structure of a module — generally an arbitrary asynchronously feed-backed digital circuitry — becomes decomposed into sub-structures. The decomposition has to warrant that the original control function of the ECU is represented by sub-ECUs. The method also takes care of functional hazards and risks using special techniques like filtering and freezing, which are inherently provided by the underlying axioms.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Parallel decomposition for safety-critical systems


    Contributors:


    Publication date :

    2013-10-01


    Size :

    304230 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Verification of parallel systems via decomposition

    Groote, Jan Friso / Moller, Faron | TIBKAT | 1992



    Safety-critical automotive systems

    Piementel, Juan R. | TIBKAT | 2006


    Functional Safety & Safety Critical Systems - An Overview

    Mendias, Melissa / Lele, Sneha / Arora, Ashish | British Library Conference Proceedings | 2021


    Functional Safety & Safety Critical Systems - An Overview

    Arora, Ashish / Mendias, Melissa / Lele, Sneha | SAE Technical Papers | 2021