Cyber-Physical Systems improve efficiency, accuracy, and access in systems ranging from household appliances to power stations to airplanes. They also bring new risks at the intersection of physical, information, and mission assurance. This paper presents CP-SMARTS, a framework providing a means for propagating CPS assurances from planning to deployment.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal enforcement of mission assurance properties in cyber-physical systems


    Beteiligte:
    Harper, Scott (Autor:in) / Graf, Jonathan (Autor:in) / Capone, Michael A. (Autor:in) / Eng, Justin (Autor:in) / Farrell, Michael (Autor:in) / Lerner, Lee W. (Autor:in)


    Erscheinungsdatum :

    01.06.2017


    Format / Umfang :

    423550 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Formal synthesis of partially-observable cyber-physical systems

    Jahanshahi, Niloofar | TIBKAT | 2023

    Freier Zugriff

    Mission Operations Assurance

    Faris, Grant | NTRS | 2012


    Mission-Aware Cyber-Physical Optimization on a Tabletop Satellite

    Bradley, Justin M. / Clark, Meghan / Atkins, Ella M. et al. | AIAA | 2013


    Hierarchical Assurance Patterns for Cyber-Resilient Systems Engineering

    Amundson, Isaac / Cofer, Darren / Hardin, David et al. | IEEE | 2024


    Safety and Mission Assurance

    Hammond, Walter E. | AIAA | 2001