Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0)

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

Abstract:

The ASERT (Assurance Evidence for Continuously-Evolving Real-Time Systems) workgroup(ASERTW) has been investigating alternative technologies and techniques to automate certification.ASERTWs first step was captured in a report that identifies the state of the practice and future challenges, especially the need to speed up the pace of updates to cyber-physical systems (CPSs)[ASERTW 2022].

Author(s):
De Niz, Dionisio ; Andersson, Bjorn ; Klein, Mark ; Lehoczky, John ; Kim, Hyoseung ; Romanski, George ; Preston, Jonathan ; Shapiro, Daniel ; Fazi, Floyd ; Schmidt, Douglass C. ; Tate, David ; Putsche, Gordon ; Koontz, Ron
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/Research Paper
Publication Date:
2024 Jan 01
Pagination:
24

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution Code:
A - Approved For Public Release
Distribution Statement: Public Release.
Copyright: Not Copyrighted

RECORD

Collection: TRECMS
Subject Terms
Subject Categories:
Biological and Medical Sciences
Creation Date:
2024 Apr 04
Update Date:
2024 Apr 22