Stay strong, stay safe: Enhancing Reliability of a Secure Operating System
Dirk Vogt, Bjoern Doebel, Adam Lackorzyński · Data Archiving and Networked Services (DANS) · 2010
Current research in operating systems focuses either on security or on reliability. However, modern embedded platforms demand solutions that suit both kinds of requirements. In this paper, we present L4ReAnimator, a framework that allows restarting crashed applications and reestablishing lost communication channels on top of the Fiasco.OC microkernel. It therefore effectively combines the already existing capability-based security architecture of Fiasco.OC with reliability features at a reasonable cost.