Large Scale Assurance Briefing to Army AvMC

reportActive / Technical Report | Accesssion Number: AD1205812 | Open PDF

Abstract:

Assurance of new capability cannot be provided with the required speed. Inability to integrate the many intertwined types of analyses required for assurance; e.g., control, timing, security, logical correctness. Lack of awareness of assurance interdependence between subsystems; Extensive testing needed to discover interactions between multiple subsystems. Lack of effective reuse of assurance results.

Author(s):
De Niz, Dionisio ; Moreno, Gabriel
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA
Funding Organization(s):
AIR FORCE LIFE CYCLE MANAGEMENT CENTER HANSCOM AFB MA, HANSCOM AFB , MA
Document Type:
Technical Report/Briefing Charts
Publication Date:
2023 Jul 01
Pagination:
27

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution Code:
A - Approved For Public Release
Distribution Statement: Public Release

RECORD

Collection: TRECMS
Identifying Numbers
Contract Number(s):
FA8702-15-D-0002
Subject Terms
Communities of Interest:
Cyber
Descriptor(s):
software development, cyber-physical systems, department of defense, universities, engineering, governments, materials, contracts, guarantees, national governments
Keyword(s):
cato(Continuous Authorization to Operate), wcet(worst-case execution time), z3(Satisfiability Modulo Theories), ASERT(Assurance Evidence for Continuously Evolving Real-Time)
Subject Categories:
Mathematical and Computer Sciences
Creation Date:
2023 Jul 17
Update Date:
2023 Jul 28