Accession Number:

AD1088213

Title:

Certifiable Distributed Runtime Assurance

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2017-01-01

Pagination or Media Count:

22.0

Abstract:

Certifiable Distributed Runtime Assurance. Challenge Assure Safety of Distributed Cyber-Physical Systems Unpredictable Algorithms Machine Learning Multi-Vehicle distributed coordinating to achieve mission. Solution Add simpler verifiable runtime enforcer to make algorithms predictable Formally specify, verify, and compose multiple enforcers Enforcer interceptsreplaces unsafe action at right time.

Subject Categories:

  • Computer Programming and Software
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE