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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal enforcement of mission assurance properties in cyber-physical systems


    Contributors:


    Publication date :

    2017-06-01


    Size :

    423550 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Formal synthesis of partially-observable cyber-physical systems

    Jahanshahi, Niloofar | TIBKAT | 2023

    Free access

    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