This paper describes a cyber-physical architecture for behavior modeling and formal evaluation of safety properties in connected-vehicle systems. An ontology-based framework provides the description logic (DL) semantics and reasoning support needed for decision making. Safety properties are modeled as hard constraints, with their fulfillment determined through the synthesis and realization of predefined pathways on decision trees. To exercise the methodology, we consider the problem of ensuring system-level safety for a family of autonomous intelligent automobiles approaching a yellow traffic light.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Cyber-physical architecture for modeling and enhanced operations of connected-vehicle systems


    Beteiligte:
    Petnga, Leonard (Autor:in) / Austin, Mark (Autor:in)


    Erscheinungsdatum :

    2013-12-01


    Format / Umfang :

    2009156 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Architecture Driven Development for Cyber Physical Systems

    Raghav, Gopal / Gopalswamy, Swaminathan | SAE Technical Papers | 2009


    Zero Trust Architecture Patterns for Cyber-Physical Systems

    Hardin, David / Amundson, Isaac / Hasan, Saqib | SAE Technical Papers | 2023




    Special Issue on Cyber Transportation Systems and Connected Vehicle Research

    Sadek, Adel W. / Cetin, Mecit | Taylor & Francis Verlag | 2016