On the DARPA Cyber Assured Systems Engineering (CASE) program, our team has developed BriefCASE, an open-source model-based engineering environment for cyber-resilient system design. BriefCASE is comprised of tools that emit evidence of correctness, which is maintained by the framework and can be used to substantiate assurance claims. In this paper, we describe hierarchical cyber- resiliency assurance patterns, which BriefCASE instantiates with the system under development. Evidence collected by the framework is automatically evaluated in the resulting assurance case to determine whether cyber- resiliency goals have been acceptably satisfied.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Hierarchical Assurance Patterns for Cyber-Resilient Systems Engineering


    Beteiligte:
    Amundson, Isaac (Autor:in) / Cofer, Darren (Autor:in) / Hardin, David (Autor:in) / Hatcliff, John (Autor:in)


    Erscheinungsdatum :

    29.09.2024


    Format / Umfang :

    2850317 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Building Cyber Resilient Systems from Day 1

    Bolish, Stephen / Dodge, Matthew / Mitalo, Eric et al. | IEEE | 2024


    Cyber Resilient Flight Software for Spacecraft

    Wheeler, Wayne A. / Cohen, Nicholas / Betser, Joseph et al. | AIAA | 2018


    Cyber Resilient Flight Software for Spacecraft

    Wheeler, Wayne A. / Cohen, Nicholas / Betser, Joseph et al. | AIAA | 2017