Trampoline moves to GitHub
28 October 2015
Some changes in the development process of Trampoline have been done. The Trampoline repository is now located on GitHub. This is where you can get the latest version. As usual on GitHub you can open issues for bug fixes and contribution to the project is easier.
The most recent development is on the Cortex-M micro-controllers. Main developments have been done by David Garriou on a STM32F407 micro-controller and the ST-Micro STM32F4 Discovery board. It is now ported on the Freescale MK20DX256 micro-controller and the Teensy 3.1 board from PJRC
At last, license is now the GPLv2 instead of the LGPL.
Where is heading Trampoline ?
13 February 2013
Goil, the OIL compiler
Recently, we switched from Goil to Goilv2. The main difference is the full support of the implementation part of an OIL description. Now, default values can be defined for any attribute and any object. Moreover, we added the ability to define new object types in the implementation. By using this ability, we are moving more configuration in OIL like interrupt sources or API definition.
As part of its PhD work in collaboration with Renault, Sylvain Cotard has plugged monitors in the kernel to do run-time verification of the application. The monitors are generated by a tool called Enforcer from a formal model of the system to monitor and of the properties to verify. So far, 2 papers have been published : « A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR » in ICESS 2012 and « A Dataflow Monitoring Service Based on Runtime Verification for AUTOSAR OS: Implementation and Performances » in OSPERT 2012 (Proceedings are available online for this workshop)
Inter OS application Communication, part of AUTOSAR OS 4.0 specification, has been added recently (thanks to See4sys for the development). IOC is configurable in OIL and some documentation exists in the Manual.
On going development
The main on going development is the multicore kernel. At first we will deliver an AUTOSAR 4.0 compliant multicore kernel. Because we are working on kernel modularization too, we plan to continue with a kernel where the scheduler may be changed easily and where other communication and synchronization mechanisms may be added.
How to cite Trampoline in a paper
27 September 2012
Recently we found some papers citing the Trampoline website instead of the EFTA 2006 paper. If you did work using Trampoline and are looking for a reference, it would be better to use a published paper citation : Trampoline paper
Trampoline 2.0 beta version available
23 June 2010
Trampoline 2.0 will be released soon. Here is a beta version to start playing with version 2.0. As explained in the article, feel free to try it, it is better tested than Trampoline 1.1 and carries many improvements.
Update: Trampoline 2b49 is available. See the link below
Robotic french cup
19 May 2010
Obviously, the strategy board of the robot is based on.. Trampoline! The robotic french cup is the national cup of eurobot.