Automotive Systems are expanding more and more to huge, complex, modular, adaptive and diverse supersystems (hybrids) executing synchronous and asynchronous operations in multi-mode using lots of processors. They are composed of components (subsystems) with certain topological properties themselves being composed to hybrids. In doing so, particularly for safety systems, the warranty of consistency, reliability and reproducibility for process run of the hybrid and all of its subsystems has a high priority. One famous common technique for handling such complex systems is the divide-and-conquer approach. In this paper we show a road map for successively dividing a system component based on its given structural properties into its substructures, and provide several intuitive and formal approaches to recompose the component behavior again from its substructures. Each dividing granularity and connectivity provides specific information about safety, stability and reliability of the component structure under operation. We classify and discuss behavioral model and stability criteria on bases of a use-case, present results to formally extract structure-weaknesses and discuss the safety aspects also involving the analog properties of the structure like multivalued information flow, propagation time and superpositions leading to information corruptness.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Suggestion for formally Verification of partially specified safety-critical Automotive Systems


    Contributors:

    Conference:

    AmE 2012 - Automotive meets Electronics - Beiträge der 3. GMM-Fachtagung



    Publication date :

    2012-01-01


    Size :

    6 pages



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Interpretable Policies from Formally-Specified Temporal Properties

    DeCastro, Jonathan / Leung, Karen / Arechiga, Nikos et al. | IEEE | 2020


    Safety-critical automotive systems

    Piementel, Juan R. | TIBKAT | 2006


    Visualizing Specified Safety-Critical Information in a Vehicle

    KAULE DIRK / MICHEL HANS-ULRICH | European Patent Office | 2015

    Free access


    System Level Modeling, Simulation and Verification Workflow for Safety-Critical Automotive Embedded Systems

    Karner, M. / Krammer, M. / Fuchs, A. et al. | British Library Conference Proceedings | 2014