Tools and Benchmarks for Real-Time Systems

Description of the tool
SchedMCore is an Open Source library and a set of tools made by ONERA (The French Aerospace Labs, http://www.onera.fr) for experimenting real-time scheduling analysis and programming. The main features of SchedMCore are:

• A schedulability model generator: the generator takes a periodic tasks set description and a scheduling policy as input and generates a formal model (currently either in C or Uppaal) which may be used to proceed to a multi-processor schedulability analysis.
• A real-time simulation library including a scheduler plugins architecture which may be used to test-drive a scheduler policy on a RT-POSIX compliant system (currently working on standard Linux).

Usage scope
Multi/Many-core schedulability analysis and simulation.

People
Claire Pagetti - ONERA Centre de Toulouse
Eric Noulard - ONERA Centre de Toulouse

Link to the website
More informations there: http://sites.onera.fr/schedmcore/node/1
Forge, https://forge.onera.fr/projects/schedmcore, and source code repository, https://svn.onera.fr/schedmcore, are available as well.

Version History
Please check http://sites.onera.fr/schedmcore/node/1
or directly the subversion history; https://svn.onera.fr/schedmcore

--
Eric NOULARD, ONERA/DTIM/LAPS, ONERA - Centre de Toulouse
http://www.onera.fr/dtim
2 avenue E. Belin, B.P. 74025, F-31055 Toulouse Cedex 4, FRANCE
tel: +33 (0)5 62 25 26 38, fax: +33 (0)5 62 25 25 93