Toward Precomputation in Real-Time Mixed-Trust Scheduling

Abstract

Mixed Trust Scheduling Combines (in mixed-trust task): Untrusted part (Guesttask - GT) in VM (preemptive FP); Trusted part (Hypertask - HT) in verified HV (non-preemptive FP); to monitor and enforce safety properties (w trusted timing).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2020
Accession Number
AD1115874

Entities

People

  • Björn Andersson
  • Dionisio de Niz
  • Hyoseung Kim
  • John Lehoczky
  • Mark Klein

Organizations

  • Software Engineering Institute

Tags

DTIC Thesaurus Topics

  • Copyrights
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Materials
  • Patents
  • Scheduling (Production)
  • Software Development
  • Trademarks
  • Trajectories
  • Universities

Readers

  • Analytical Mechanics
  • Cybersecurity.
  • Parallel and Distributed Computing.