Automatic generation and targeting of application specific operating systems and embedded systems software

Software (SW) parts become crucial in embedded systems. Operating systems (OSs) are often used to handle SW concurrency and communication. We propose a method of automatic generation of application-specific OSs and automatic targeting of application SW. OS generation starts from a very small, but yet flexible OS kernel. OS services, which are specific to the application and deduced from dependencies created by the system specification, are added to the kernel to construct the whole OS. Communication and synchronization functions in the application code are adapted to the generated OS. As experiments, we applied the proposed method to two system examples: a token-ring system and a very high data-rate digital subscriber line framer.

[1]  M. Omizo,et al.  Modeling , 1983, Encyclopedic Dictionary of Archaeology.

[2]  Amer Baghdadi,et al.  Automatic generation of application-specific architectures for heterogeneous multiprocessor system-on-chip , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[3]  Hiroyuki Tomiyama,et al.  Memory-CPU size optimization for embedded system designs , 1997, DAC.

[4]  Niraj K. Jha,et al.  Power analysis of embedded operating systems , 2000, Proceedings 37th Design Automation Conference.

[5]  Hugo De Man,et al.  Operating system based software generation for systems-on-chip , 2000, Proceedings 37th Design Automation Conference.

[6]  Stephen A. Edwards.  Compiling Esterel into sequential code , 2000, DAC.

[7]  Damien Lyonnard,et al.  Colif: A multilevel design representation for application-specific multiprocessor system-on-chip design , 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

[8]  Hugo De Man,et al.  A strategy for real-time kernel support in application-specific HW/SW embedded architectures , 1996, DAC '96.

[9]  Luciano Lavagno,et al.  Task generation and compile-time scheduling for mixed data-control embedded software , 2000, Proceedings 37th Design Automation Conference.

[10]  Yves Sorel,et al.  Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors , 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

[11]  Francky Catthoor,et al.  Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems , 1999, Springer US.