Safety Certification with the Open Source Microkernel-Based Operating System L4Re.
Kai LampkaJoel ThurlbyAdam LackorzynskiMarcus HähnelPublished in: SAFECOMP (2022)
Keyphrases
- operating system
- open source
- computer systems
- source code
- linux kernel
- case study
- software package
- third party
- distributed systems
- virtual machine
- multi tasking
- microsoft windows
- windows xp
- memory management
- cross platform
- databases
- database management systems
- database systems
- application programs
- multi threaded
- address space
- high assurance
- red hat