Mixed-Trust Computing for Real-Time Systems

Abstract

Verifying complex Cyber-Physical Systems (CPS) is increasingly important given the push to deploy safety-critical autonomous features. Unfortunately, traditional verification methods do not scale to the complexity of these systems. One promising approach to tackle this problem is a runtime verification variant where small pieces of code (called enforcers) are added to the system to watch the system output replacing it if it is deemed incorrect. Verifying these enforcers leads to a system-wide correctness guarantee.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 09, 2009
Accession Number
AD1068339

Entities

People

  • Amit Vasudevan
  • Björn Andersson
  • Dionisio de Niz
  • Gabriel A. Moreno
  • Hyoseung Kim
  • John P. Lehoczky
  • Mark H. Klein

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Authentication
  • Computations
  • Computer Programming
  • Computers
  • Data Science
  • Fail Safe
  • Guarantees
  • Intellectual Property
  • Kernels (Operating System)
  • Machine Learning
  • Operating Systems
  • Scheduling (Production)
  • Software Design
  • Software Development
  • Time Intervals
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

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

Technology Areas

  • Cyber