< retour aux publications

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

Auteur(s) : L. Gauthier, S. Yoo, A. A. Jerraya

Doc. Source: Design, Automation and Test in Europe. Conference and Exhibition (DATE'01)

Publisher : IEEE

Pages : 679-685

Doi : 10.1109/DATE.2001.915098

We propose a method of automatic generation of application specific operating systems (OS's) and automatic targeting of application software. OS generation starts from a very small bur yet flexible OS kernel. OS services, which are specific to the application and deduced from dependencies between services, 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 a preliminary experiment, we applied the proposed method to a system example called token ring system