PACC Starter Kit, Predictability by Construction

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

Abstract:

The PACC Starter Kit is an integrated set of tools that demonstrates how technologies can be combined to deliver objective confidence in predictions of system behavior.

Author(s):
No Author(s) Identified
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:
2020 Jan 01
Pagination:
1

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

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

RECORD

Collection: TRECMS
Subject Terms
Communities of Interest:
No COI(s) Identified
Keyword(s):
pacc(predictive assembly from certifiable code)
Subject Categories:
Mathematical and Computer Sciences; Mathematical and Computer Sciences
Creation Date:
2021 Sep 16
Update Date:
2021 Nov 03