A customizable library to support software synthesis for embedded applications and micro-kernel systems
Carsten Ditze · 1998
Experiences gained from the design of micro-kernel related to either high-performance or hard real-time computing have shown that customization plays a major role to enhance the performance of applications while maintaining a reusable and flexible software architecture.Our goal is to cover both fields by developing a customizable library operating system (DREAMS 1) intended to be used as a basis for the synthesis of application-specific run-time platforms or operating system kernel.This paper focuses on a new concept for extremely fine-grained customization of objects and their interrelationships at a source code level and shows how this is applied to the C++ implementation of the DREAMS system to minimize run-time and memory demands.Furthermore, we sketch the architecture of DREAMS and illustrate by example how it is customized to support either a time-driven scheduler for embedded real-time applications or a preempf~ive round robin scheduler for a multi-threaded micro-kernel.