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)


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 »

feline paxil septra ds revlimid japan purchase silagra more info about amantadine 10 mg nexium prices in mayami http://www.phaseivengr.com/calutide-tab.pdf bupropion a102 aurogra 100mg tablets in mayami buy cabergoline dostinex uk http://pulseseismic.com/average-cost-of-viread.pdf buy zyprexa omnacortil drugs caverta drug in canada acyclovir ointment http://pulseseismic.com/prometrium-cost-without-insurance.pdf amiloride sale lowest price meloxicam http://www.naturaldiamondcompany.com/tadalafil-10mg.pdf info about comprar malegra 375 mcg synthroid xalatan discount avanafil de 50 mg buy clomiphene nz in mayami furosemide 400 mg bactrim for boils rulide az tablet fosamax 35 mg in mayami memantine singapore in new york levetiracetam generic brands in uk cyproheptadine hydrochloride 4mg tablets about azithromycin uk online more info diovan hct 25mg more info betnovate online griseofulvin microsize 125 mg flagyl uk in usa information about quetiapine tablet protonix cheap canada about actos generic name griseofulvin ultra 250 mg buy lotensin online http://www.phaseivengr.com/order-hydrocodone-promethazine.pdf information prevacid solutab coupon finpecia cost acyclovir 400 mg careprost sale drug prilosec prozac generic vermox buy http://www.phaseivengr.com/calutide-for-sale.pdf levaquin pills floricot usa fosamax 35 mg cheap levipil more cost of lamisil tablets http://upsizemag.com/cabergoline-pills.pdf http://artistlane.com/lamisil-drug.pdf malegra fxt avis amiodarone hydrochloride abilify no prescription arimidex cost in mayami http://artistlane.com/suhagra-avis.pdf eriacta ranbaxy mirtazapine availability in mexicomore info drugs similar to seroquel generic form of prilosec fertyl super online cost of imatinib gleevec more info lisinopril by ranbaxy caverta india wellbutrin pills about coumadin price usa erythromycin tabs http://www.phaseivengr.com/zyvox-generic-cost.pdf information about online valtrex http://www.phaseivengr.com/amoxicillin-875mg-tablet.pdf discount isotretinoin 30 mg donepezil aricept 5 mg generic brand for zocor piracetam best brand http://www.naturaldiamondcompany.com/cheap-aurogra-tablets-uk.pdf prometrium cost tadalafil tadaga 60 mg in india buy testosterone undecanoate oral bimatoprost prices decadron tablets pills xenical 120 mg price more info about cheap silagra uk caverta de 100 20 mg atomoxetine 180 http://artistlane.com/order-duprost.pdf generic equivalent norvasc generic levitra with dapoxetine information about bupropion canada gleevec tab http://www.naturaldiamondcompany.com/buspar-prozac-insomnia.pdf levetiracetam discount http://artistlane.com/fosamax-price-australia.pdf glipizide 10 mg tablet http://www.naturaldiamondcompany.com/careprost-sun-pharmaceuticals.pdf cheapest cymbalta 20mg buy generic generic gefitinib in france http://pulseseismic.com/plavix-oral.pdf medicinali bactrim cheap metronidazole in mexico http://upsizemag.com/glucotrol-manufacturer.pdf buy generic omnacortil propranolol hcl anxiety in new york duloxetine no rx pepcid ac generic http://pulseseismic.com/famotidine-20mg.pdf glipizide 10 mg price avanafil china http://artistlane.com/suhagra-100-for-sale.pdf periactin for sale nexium online order sustanon for sale in new york cenforce tablets more info about fluka 150 mg aripiprazole sandoz buy zithromax powder more ciprofloxacin buy online zocor drug terbinafine hydrochloride 1 cream lansoprazole buy from canada in usa about finasteride price http://upsizemag.com/clozaril-250mg.pdf tadacip 20 mg uk in usa
buy tadasoft 40mg http://www.puptection.com/about-us2/shipping-and-returns/ sildisoft 100mg http://worldclaim.net/memphis-tn-public-adjuster/ buy suhagra 100mg http://www.puptection.com/portfolio/therapy/lethargic-dog/ buy tadaga buy snovitra 20mg more buy sildigra super p force 100mg buy vidalista 20mg snovitra 20mg http://www.puptection.com/component/k2/item/164/ buy sildisoft in canada tadasoft 40mg buy tadasoft http://www.puptection.com/portfolio/therapy/how-it-works/ Buy cenforce buy caverta 100mg http://www.puptection.com/blog/blood-in-dog-stool/ vilitra 20mg info about buy sildisoft 50mg buy snovitra buy suhagra about buy vidalista tadacip 20mg about tadasoft 20mg buy tadacip 20mg suhagra 100mg in mexico more info about vidalista 20mg http://worldclaim.net/insurance-claims-adjusting/
more info linezolid generic name imatinib mesylate canada in mayami lisinopril generic in france https://silverstatedrivingacademy.com/blog/progesterone-order pantoprazole sodium information buy leflunomide arava buy sildenafil citrate soft 50mg in canada zofran costs in france omnacortil tadarise 40 mg buy ciprofloxacin online canada info about letrozole 7.5mg valsartan 160 mg more info lamisil manufacturer aldactone 100 opinioni information zenegra 100 for sale pioglitazone cost ondansetron hcl 8mg tab seroquel zocor tablets in usa buy dexamethasone 0,5 mg nitazoxanide generic diclofenac for sale aurogra sildenafil meloxicam 7.5 mg tabs discount prilosec 40 paxil without prescription imatib generic for celebrex buy exelon in california erlotinib argentina precio fluticasone nasal spray in india tamoxifen for sale http://dumbbellbombshell.com/letrozole-online-pharmacy buy azithromycin 250 mg ranitidine no prescription modapro modalert modifinil fluorouracil sandoz zocor cost generic brand for vasotec clomiphene male andriol tc nizoral 2 bupropion sr er more info ilosone 500 tabletas nitazoxanide kopen more info glucotrol xl generic brand xenical uk buy 1300 mg of quetiapine gleevec online pharmacies information generic ondansetron odt doxepin hcl 100mg cap in canada cheapest ract http://printheadshots.com/50-mg-fluconazole http://patkelmanphotography.com/buy-ranitidine-300mg abbott mobic indian auvitra order andriol http://graystitchstudio.com/budeprion-xl-walmart grifulvin 250 mg xenical uk online