A customizable library to support software synthesis for embedded applications and micro-kernel systems

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.

[1]  C. Ditze.  DREAMS - Concepts of a Distributed Real-Time Management System , 1996 .

[2]  Roy H. Campbell,et al.  Fine-grained, dynamic user customization of operating systems , 1996, Proceedings of the Fifth International Workshop on Object-Orientation in Operation Systems.

[3]  Carsten Ditze.  A Step towards Operating System Synthesis , 1998 .

[4]  Edward A. Lee,et al.  Software synthesis for DSP using ptolemy , 1995, J. VLSI Signal Process..

[5]  Pradeep K. Khosla,et al.  The Chimera Methodology: designing dynamically reconfigurable real-time software using port-based objects , 1994, Proceedings of Words '94. The First Workshop on Object-Oriented Real-Time Dependable Systems.

[6]  Dawson R. Engler,et al.  Exokernel: an operating system architecture for application-level resource management , 1995, SOSP.

[7]  Beng-Hong Lim,et al.  Structuring operating systems using adaptive objects for improving performance , 1995, Proceedings of International Workshop on Object Orientation in Operating Systems.

[8]  Jay Lepreau,et al.  The Flux OSKit: a substrate for kernel and language research , 1997, SOSP.

[9]  David C. Sastry,et al.  The QNX Operating System , 1995 .

[10]  Roy H. Campbell,et al.  Designing and implementing Choices: an object-oriented system in C++ , 1993, CACM.

[11]  Peter Altenbernd,et al.  CHaRy: the C-LAB hard real-time system to support mechatronical design , 1997, Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.

[12]  Carsten Böke,et al.  Supporting Software Synthesis of Communication Infrastructures for Embedded Real-Time Applications , 1998 .