About Trampoline

Trampoline is an open source RTOS which, once certified, could be compliant with the OSEK/VDX specification. Currently it is not the case, so while Trampoline has the same API as OSEK/VDX, it is not officially compliant. Trampoline is available under the GNU Lesser General Public License V2.1. (...)

lire la suite

About us

Trampoline is mainly developed by peoples from the Real-Time Systems group of IRCCyN (Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou and Yvon Trinquet). The project has external contributors: Jean-François Deverge from IRISA, Trame group from ESEO (Jonathan Ilias and Jérôme Delatour) and (...)

lire la suite

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.

Posted in About | Comments »

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.

Run-time verification

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)

IOC

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.

Posted in About | Comments »

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

Posted in About | Comments »

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

Trampoline 2b49

Posted in Downloads | Comments »

Robotic french cup

19 May 2010

Serinus team (from IUT de Nantes) was in quarterfinals of the 2010 robotic french cup out of 166 teams. Congratulations for this good result!

Obviously, the strategy board of the robot is based on.. Trampoline! The robotic french cup is the national cup of eurobot.

Posted in About | Comments »


 
fluticasone aersol inhaler info about buy mebendazole online info about furosemide 40mg info about metronidazole bp 200mg fertyl tablet 50mg information about lenalidomide to buy cheapest finpecia cyproheptadine 1 mg veenat price 24 mg medrol in california information about 300 mg dilantin 0.03 bimatoprost fertyl 50 mg tablet generic gefitinib india order casodex griseofulvin microsize 500mg buy terbinafine cream 1% 10g benicar on line erlonat price in usa buy amlodac usa buy letrozole tablets sildenafil citrate jelly online in mayami accutane cost order maxalt oxybutynin chloride 10 mg information imatinib mesylate generic flagyl 500mg hostacycline 250mg zithromax paypal tab aldactone 25 mg http://artistlane.com/gleevec-discount.pdf prednisolone acetate ophtalmic in india about forzest 20 mg price buy ketasma lanoxin 250mcg ilosone flam levaquin 250 mg http://www.phaseivengr.com/coreg-cr-generic.pdf risperdal prices http://artistlane.com/buy-cheapest-bortenat.pdf http://www.naturaldiamondcompany.com/zyvox-oral.pdf selegiline bodybuilding in mayami http://artistlane.com/metoprolol-er.pdf levothyroxine .0125 buspirone hcl 15mg http://upsizemag.com/prexaton-price.pdf 200 mg progesterone 15 mg buspirone http://pulseseismic.com/buy-cheap-levipil.pdf femara medicine in france http://upsizemag.com/biaxin-medicine.pdf http://www.naturaldiamondcompany.com/100-mg-drops-tetracycline.pdf information about finpecia 1mg uk fluvoxamine 100 mg in united states diflucan where to buy in usa buy kamagra london ciprofloxacin cipro 500 mg purchase amoxicillin tadaga 2.5 mg about mirtazepine for sale femara 2.5 mg price spironolactone equivalent orlistat available in india http://pulseseismic.com/order-demadex.pdf costco pharmacy prices celebrex generic for levlen
eriacta 100mg tablets buy generic sirolimus online tenofovir brands more info about bupropion a102 lioresal baklofen http://upsizemag.com/avanafil-price.pdf http://www.naturaldiamondcompany.com/poxet-60-price.pdf enalapril 5 ml pepcid ac generic generic levitra with dapoxetine in france synthroid 25 in new york lasix without prescription careprost pay with paypal ditropan 5mg tablets buy lamisil cream http://www.phaseivengr.com/revlimid-mg.pdf info about acamprol cost http://artistlane.com/rizact-migraine.pdf more flomax drug generic of coreg cr in mexico valsartan hydrochlorothiazide amlodipine doxepin discount http://upsizemag.com/bupropion-150-mg-er.pdf http://upsizemag.com/diclofenac-manufacturer.pdf memantine online pharmacy alendronate availability zhewitra 20mg veenat by natco cilostazol femara tablets in united states more info about zantac buy uk prilosec pills about acyclovir 800 mg price more celecoxib online 399 pill glipizide clozaril 250mg bupropion canada in new york cipla caverta generic drug for rapamune http://www.naturaldiamondcompany.com/lipitor-price.pdf http://artistlane.com/piracetam-capsuls.pdf buy ondansetron 8 mg buy generic attentrol cheapest cymbalta 20mg aurogra 100 prices letrozole low price generic pioglitazone from india generic warfarin buy antabuse online canada more order sildenafil citrate oral jelly vasotec purpose buy stendra online prometrium 100mg cost in canada doxepin hcl 10mg capsules sulpitac more info antabuse generic price

vidalista 20mg information tadasoft 20mg buy sildisoft 100mg suhagra 100mg tadasoft 40mg Buy cenforce viraday 300mg more super p force 100mg suhagra 100mg buy caverta 100mg info about tadacip 20mg vidalista 20mg buy super p force 100mg buy snovitra 20mg tadaga 40mg info about buy tadaga snovitra 20mg in california more info about buy vidalista buy tadasoft 20mg in india buy suhagra buy snovitra in new york buy tadacip 20mg more info buy super p force http://www.puptection.com/products/dogs/supplements/dog-detox/ sildigra information about buy tadasoft http://worldclaim.net/albany-ny-public-adjuster/ info about buy sildisoft buy tadaga 40mg buy tadacip sildisoft 50mg