10^th Libre Software Meeting

OSEK/VDX and AUTOSAR are families of industrial standards that aim at specifying the software architecture of in-vehicle embedded real-time systems. This architecture relies on a set of component providing system level services (kernel, communication stacks, device drivers). The existence of a libre implementation of these components has many interests: for teaching (freedom of studying the source code), for research (freedom of modifying the source code) and last but not least, for the engineering of dependable systems (freedom to analyze and correct the source code, benefits obtained from the sharing of bug fixes in the community). The Trampoline project has been created in this context.

Today, the Trampoline platform is composed of the following components:
 the real-time kernel (LGPLv2)
 a compiler for the OIL (GPLv2) (OIL is a standardized language for the configuration of static real-time systems)

Trampoline supports several embedded platform (ARM, Infineon C166, IBM/ Freescale PowerPC, Freescale HCS12, Nec V850e, Atmel AVR and Renesas H8). It can also be run on POSIX systems in an emulated environment. It is presently used: in universities for labs on real-time and embedded systems designs ; in research team working on critical embedded real-time systems; and in industrial context by Geensys.

Slides de la présentation / presentation slides