Hierarchical Assurance Patterns for Cyber-Resilient Systems Engineering

Author
Abstract

On the DARPA Cyber Assured Systems Engineering (CASE) program, our team has developed BriefCASE, an opensource 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 cyberresiliency goals have been acceptably satisfied.

Year of Publication
2024
Conference Name
2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC)
URL
DOI
10.1109/DASC62030.2024.10748894
Google Scholar | BibTeX | DOI
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.