Separation kernel as the basis for certifiable applications and systems

Functional security and cybersecurity are among the most important issues in the development of modern vehicles, and the certification of individual systems will become increasingly important in the future. Developers must therefore increasingly work according to the “Safety & Security by Design” principle. Real-time operating systems based on a separation kernel enable new approaches. In…