Mixed-Trust Scheduling in AADL

Abstract

Mixed-Trust Scheduling in AADL.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2021
Accession Number
AD1152796

Entities

People

  • Aaron Greenhouse

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Computer Programming
  • Computing-Related Activities
  • Consistency
  • Copyrights
  • Department Of Defense
  • Engineering
  • Governments
  • Greenhouses
  • Guarantees
  • Hypervisors
  • Materials
  • Scheduling (Production)
  • Software Development
  • Standards
  • Universities
  • Virtual Machines

Fields of Study

  • Psychology