Accession Number:

AD1111259

Title:

Rapid Certifiable Trust

Descriptive Note:

[Technical Report, Other]

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA

Personal Author(s):

Report Date:

2020-01-01

Pagination or Media Count:

2

Abstract:

Fielding new technologies is essential to preserve defense superiority. However, this is only possible if these technologies can be validated for safety. Challenges for Validation Increasingly complex systems, Changing behavior at runtime e.g., machine learning,Interactions with physical world e.g., vehicles,Must have correct value, Occur at right time i.e., before crash.

Descriptors:

Subject Categories:

  • Safety Engineering
  • Cybernetics

Distribution Statement:

[A, Approved For Public Release]