Certifiable Distributed Runtime Assurance

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 intercepts/replaces unsafe action at right time.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2017
Accession Number
AD1088213

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Algorithms
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Hypervisors
  • Learning
  • Machine Learning
  • Materials
  • Overload
  • Resilience
  • Scheduling (Production)
  • Software Development
  • Universities
  • Virtual Machines

Fields of Study

  • Computer science
  • Engineering

Readers

  • Cybersecurity.
  • Military Logistics and Supply Chain Management
  • Robotics and Automation.

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • Cyber