Component-Based Design of Safe Real-Time Kernels for Embedded Systems

  title={Component-Based Design of Safe Real-Time Kernels for Embedded Systems},
  author={Jesper Berthing and Christo Angelov},
  journal={33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007)},
The paper presents a component-based framework for safe real-time kernels for embedded applications. In this framework, a component is defined as a self- contained unit encapsulating a specific kernel subsystem. Complex components are decomposed into sub-components that implement an atomic functionality within the subsystem under consideration. Each component is specified in terms of public functions (primitives) and protected functions that are used by other components. Accordingly, kernel… CONTINUE READING