Accession Number:

AD1069479

Title:

Formal Methods of Assurance for CPS

Descriptive Note:

Technical Report

Corporate Author:

Carnegie Mellon University Software Engineering Institute Pittsburgh United States

Personal Author(s):

Report Date:

2019-03-26

Pagination or Media Count:

34.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE