Towards Real-Time Checkpoint/Restore for Migration in L4 Microkernel based Operating Systems

Future automotive systems will rely on multi-corehardware support and will be gradually exposed to mixed-criticality demands. Support for different kinds of context sen-sitive reaction behavior (e.g. fail-operational behavior) will berequired, wherefore the concept of dynamic reconfiguration willextend existing well-established static system configurations. Apromising approach is offered by migration of software compo-nents and processes, based on the operating system (OS) layer.Efficient snapshot creation within an embedded real-time envi-ronment is thereby critical. The suggested concept extends a real-time operating system (RTOS), based on L4 Fiasco.OC and theGenode OS Framework, by the Real-Time Checkpoint/Restore(RTCR) component, providing a solid base for checkpoint/restorein L4 microkernel based OSs. Additional optimizations regardingcheckpointing were introduced and could partially be tested. Theresults demonstrate current shortcomings of the purely software-based design and underscore the assumption that a real-timecapable C/R mechanism will have to rely on the support ofdedicated hardware components.     «

Future automotive systems will rely on multi-corehardware support and will be gradually exposed to mixed-criticality demands. Support for different kinds of context sen-sitive reaction behavior (e.g. fail-operational behavior) will berequired, wherefore the concept of dynamic reconfiguration willextend existing well-established static system configurations. Apromising approach is offered by migration of software compo-nents and processes, based on the operating...     »