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 and do not provide systematic methods to protect verified properties when not all the components can be verified. To address these challenges, this paper proposes a real-time mixed-trust computing framework that combines verification and protection. The framework introduces a new task model, where an application task can have both an untrusted and a trusted part. The untrusted part allows complex computations supported by a full OS with a real-time scheduler running in a VM hosted by a trusted hypervisor.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2019
Accession Number
AD1090738

Entities

People

  • A. Vasudevan
  • B. Andersson
  • Dionisio de Niz
  • Gilberto Moreno
  • H. Kim
  • J. Lehoczky
  • Michael L. Klein

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Cyber

DTIC Thesaurus Topics

  • Algorithms
  • Authentication
  • Computations
  • Computer Programming
  • Computers
  • Control Systems
  • Cyber-Physical Systems
  • Denial Of Service Attack
  • Fail Safe
  • Guarantees
  • Intellectual Property
  • Kernels (Operating System)
  • Operating Systems
  • Scheduling (Production)
  • Software Design
  • Software Development
  • Verification

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Distributed Systems and Data Platform Development
  • Parallel and Distributed Computing.

Technology Areas

  • Cyber