High-assurance timing analysis for a high-assurance real-time operating system.

Thomas Sewell Felix Kam Gernot Heiser

Published in: Real Time Syst. (2017)

Keyphrases

high assurance
operating system
fault tolerant
software systems
access control
distributed systems
machine learning
data model
software engineering
software development