Rapid Certifiable Trust
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).
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 2020
- Accession Number
- AD1111259
Entities
Organizations
- Carnegie Mellon University