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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Parallel decomposition for safety-critical systems


    Beteiligte:


    Erscheinungsdatum :

    2013-10-01


    Format / Umfang :

    304230 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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


    Design of safety critical systems

    Kalinsky, David | Tema Archiv | 2011