Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access
Add to Reading List
Document Date: 2014-09-23 22:58:53
Open Document
File Size: 334,71 KB
Share Result on Facebook
/
Facility
Dependable Systems Building /
/
IndustryTerm
security-critical applications /
mobile and connected devices /
safety-critical systems /
dependable software /
x86 processors /
http /
Person
Jodi Steel /
/
/
TVStation
WCET /
/
Technology
operating system /
x86 processors /
/
URL
www.nicta.com.au /
http /
SocialTag
Gernot Heiser
L4 microkernel family
Formal verification
Real-time operating systems
Kernel
Computer security
Integrity
Mach
Ring
Computer architecture
seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access