Safety Enforcement for the Verification of Cyber-Physical Systems

Abstract

Contents include: Verification of Cyber-Physical Systems; Timeless Logical Model; Incorporating Time; Incorporating Inertia; Logical Enforcer; Drone Example; Fixed-Priority Scheduling + Rate Monotonic; Unbounded preemption; Unbounded Execution; Who Verifies the Temporal Enforcer?; Execution Timeline Model; Task CPU Usage; Linking Time Model to Code; Proving Tasks Never Exceed Budgets; Conclusions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 11, 2018
Accession Number
AD1086795

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Autonomous Systems
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Machine Learning
  • Materials
  • Overload
  • Scheduling (Production)
  • Software Development
  • Transitions
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Parallel and Distributed Computing.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control
  • Cyber
  • Cyber - Legality in Cyberspace