The operations of Cyber-Physical Systems – such as Unmanned Aircrafts - are drastically evolving. Worked up legislations are enabling new kinds of tasks in complex environments, inducing a change of policy in mission definition. Handling the consequent risks not only calls for verification of both the system and its mission, but it also requires to keep watch on the gap between the real world and the models that were used to get these guarantees. Furthermore, fallback missions ought to be specified to mitigate the occurence of undesired events.We introduce Sophrosyne, a Domain-Specific Language for CPS operation that integrates monitors and alternative behaviours definition as part of the specification of missions. A simple geofence-related case study showcases how Sophrosyne eases the management of tangled fallbacks.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Monitor-Centric Mission Definition With Sophrosyne


    Beteiligte:


    Erscheinungsdatum :

    01.06.2019


    Format / Umfang :

    2064035 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Mission monitor

    SUITER SEAN PATRICK / KRUSE RICHARD ANDREW | Europäisches Patentamt | 2024

    Freier Zugriff

    Helicopter Mission Definition

    SAE Technical Papers | 1997


    Mission Assurance: A Model-Centric Approach

    Schreiner, Sam / Everline, Chester J. / Bendig, Joshua et al. | AIAA | 2017


    INFORMATION CENTRIC NETWORK HIGH DEFINITION MAP DISTRIBUTION

    MOUSTAFA HASSNAA / SCHOOLER EVE M / GUPTA HYDE MARUTI et al. | Europäisches Patentamt | 2019

    Freier Zugriff

    Information centric network high definition map distribution

    MOUSTAFA HASSNAA / SCHOOLER EVE M / GUPTA HYDE MARUTI et al. | Europäisches Patentamt | 2020

    Freier Zugriff