Evaluation of Open Source Operating Systems for Safety-Critical Applications.

Petter Sainio Berntsson Lars Strandén Fredrik Warg

Published in: SERENE (2017)

Keyphrases

operating system
open source
safety critical
computer systems
linux kernel
source code
distributed systems
safety analysis
formal methods
virtual machine
embedded systems
windows xp
case study
adaptive systems
agent architecture
database design
programming language