A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems.

Kristina Lundqvist Lars Asplund

Published in: Real Time Syst. (2003)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
embedded systems
adaptive systems
distributed systems
multi agent
management system
intelligent systems
low cost
model checking
domain independent
agent architecture
support systems