The PreCertification Kit for Operating Systems in Safety Domains.

Domenico Cotroneo Domenico Di Leo Nuno Silva Ricardo Barbosa

Published in: WOSOCER (2011)

Keyphrases

operating system
computer systems
virtual machine
distributed systems
virtual memory
memory management
windows xp
application programs
machine learning
application level
operating environment
linux kernel
cross domain
high assurance
database software
windows nt
multi tasking