Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification

Author

Béchennec, Jean-Luc ; Briday, Mikaël ; Faucou, Sébastien ; Trinquet, Yvon

Author_Institution

IRCCyN, UMR CNRS, Nantes

fYear

2006

fDate

20-22 Sept. 2006

Firstpage

62

Lastpage

69

Abstract

This paper introduces an OSEK/VDX operating system implementation. OSEK/VDX is an industry standard for real-time operating system used in the field of automotive embedded software. This implementation is proposed in the context of the open source software, which interest needs not to be demonstrated any more. The paper explains the main implementation choices as well as the technique proposed for the generation of a real-time application. This implementation is nowadays available for three targets: Infineon C167, Darwin/PowerPC and Linux/x86.

Keywords

automobile industry; embedded systems; formal specification; operating systems (computers); Darwin/PowerPC; Infineon C167; Linux/x86; OSEK/VDX operating system; Trampoline; automotive embedded software; open source software; real-time operating system specification; Application software; Automotive engineering; Computer industry; Embedded software; Kernel; Linux; Operating systems; Real time systems; Software standards; Vehicles;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 2006. ETFA '06. IEEE Conference on

Conference_Location

Prague

Print_ISBN

0-7803-9758-4

Type

conf

DOI

10.1109/ETFA.2006.355432

Filename

4178265