Accession Number:

AD1069479

Title:

Formal Methods of Assurance for CPS

Personal Author(s):

Corporate Author:

Carnegie Mellon University Software Engineering Institute Pittsburgh United States

Report Date:

2019-03-26

Abstract:

Assurance Automation for Safe-Critical Cyber-Physical Systems -- The DoD requires rapid fielding of critical capabilities to remain competitive with ongoing, urgent and emerging threats. -- The challenge is that traditional verification does not scale because of unpredictable algorithms such as machine learning and the need for timely interaction with the environment i.e., correct actions at correct time.

Descriptive Note:

Technical Report

Pages:

0034

Descriptors:

Identifiers:

Subject Categories:

Communities Of Interest:

Modernization Areas:

Distribution Statement:

Approved For Public Release;

Contract Number:

FA8702-15-D-0002

File Size:

1.46MB

View The Document