These web pages list different project that make use of Cheddar :

Cheddar relies on Ocarina to provide schedulability analysis of AADL models. The ocarina team also use the Cheddar analyzer for their research projects and some tutorial/labs. The two teams cooperate for the development of AADL software engineering tools.

Cheddar can be run as a STOOD or as a TOPCASED plugin. The interoperability of STOOD/TOPCASED/Cheddar is managed by Pierre Dissaux (Ellidiss Technologies) . The Cheddar team and Ellidiss technologies also investigate how Cheddar can efficiently analyze AADL models built with STOOD. There is a partnership between the Cheddar team and Ellidiss technologies : Ellidiss technologies provides industrial support for Cheddar, participates to the toolset maintenance and supports the LISyC Team.

A benchmarking work of a multiprocessor architecture by Airbus. See publication [CAS 09]. The multiprocessor architecture and its behavior are modeled with AADL and the Cheddar programming language (for the scheduling part).

Thales RT has proposed an Ecplise plugin in order to perform analysis with Cheddar of MARTE/UML models. MARTE is an UML profile designed for modeling and analysis of real time systems (see for further details on MARTE/UML. The source code and the documentation distributed by Thales RT can be reached there.

[NEM 06] and [NEM 07]: papers about Papabench, a benchmark proposed by the IRIT in order to compute WCET (see http://www.irit.fr/PapaBench).

[STR 06] : an experiment with RTEMS and Cheddar.

[THO 06] : Meta-modeling experiment with AADL and Cheddar in order to built robotic application.

[REV 07] : the proposition of a modeling framework based on AADL and Lustre. The proposed framework allows performance analysis with Cheddar.

M. Baert wrote some XSLT scripts in order to display XML project files and XML event tables. XML event tables are files which store scheduling simulation results. Then, these tools allow users to display in a web browser the results of a scheduling simulation. See the file EventTables.zip for further details.

[ROL 07] : an other AADL project (EADS Astrium and CNES) which aims to the modeling and tha analysis of the Pléiades satellite.

[AHN 06] : the proposition of a scheduler designed for multimedia applications, which was validated with Cheddar.

[BRY 05] : a comparison of several real time scheduling frameworks (including Cheddar, but a bit out of date now).

[PRA 08, PRA 09] : the proposition of a scheduler designed to support tasks with fuzzy deadlines and fuzzy processing times. The scheduler is verified with Cheddar.

[FER 08, FER 09] : J.L. Fernandez has proposed an approach for real-time systems modeling and models evaluation. This approach is named PPOOA-Cheddar because it combines the PPOOA method and tool for architecting real-time systems with the Cheddar framework for simulation and evaluation of real-time systems. PPOOA and Cheddar tools were developed by independent groups, so we have to adapt PPOOA, the modeling tool we developed, to be integrated with the Cheddar evaluation framework.

[THO 09] : Ph’d Thesis of Frederic Thomas (related to the modelling of real time system execution environments).

[KUM 09] : modelling and analysis of an EDF like scheduler.







[THO 09] Frederic Thomas. Contribution à la prise en compte des plates-formes logicielles d’exécution dans une ingénierie générative dirigée par les modèles. Thèse de l’Université d’Evry, Mai 2009.

[CAS 09] Jean Casteres, Tovo Ramaherirariny Aircraft integration real-time simulator Modeling with AADL for architecture tradeoffs. Design, Automation and Test in Europe conference, DATE’2009, April, Nice, France.

[KUM 09] Pradheep Kumar, K; Shanthi, A P. Application of non-uniform laxity to EDF for aperiodic tasks to improve task utilisation on multicore platforms. Journal of Computer Science and Information Security; IJCSIS 2009, June Issue, Vol. 2, No. 1

[PRA 09] Pranab K. Muhuri, K.K. Shukla. Real-time scheduling of periodic tasks with processing times and deadlines as parametric fuzzy numbers. Applied Soft Computing, Volume 9, Issue 3, June 2009, Pages 936-946

[FER 09] Jose L. Fernandez and Gloria Marmol. Modelling and Evaluating Real-Time Software Architectures. 14th International Conference on Reliable Software Technologies - Ada-Europe, Telecom Bretagne, Brest, France, June 8-12, 2009.

[FER 08] Fernandez , J.L. and Marmol, Gloria. An Effective Collaboration of a Modeling Tool and a Simulation and Evaluation Framework. 18 th Annual International Symposium, INCOSE 2008. Systems Engineering for the Planet. The Netherlands. 15-19 June 2008.

[PRA 08] Pranab K. Muhuri and K.K. Shukla. Real-time task scheduling with fuzzy uncertainty in processing times and deadlines Applied Soft Computing review, Volume 8, Issue 1, January 2008, Pages 1-13.

[NEM 07] Fadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada. Improving the WCET accuracy by inter-task instruction cache analysis. IEEE International Symposium on Industrial Embedded Systems (SIES 2007), Lisbonne, p. 25-32, juillet 2007.

[REV 07] François Revest, Frédéric Boniol, Claire Pagetti. Aide à la conception multi points de vue de systèmes embarqués. Journées Formalisation des Activités Concurrentes, 15 et 16 mars 2007 CERT-ONERA - Toulouse

[ROL 07] JF. Rolland, D. Thomas, D. Chemouil. Utilisation d'AADL pour la conception de logiciels de vol satellite. Revue Génie logiciel, Number 80, March 2007, pages 41-44.

[STR 06] Marion Strauss. Extension d'un outil de trace pour système embarqué temps réel. Rapport de projet Brique - ENST Paris - T3. 2006.

[AHN 06] Byoungchul Ahn, Ji-Hoon Kim, Dong Ha Lee, Sang Heon Lee. A Real Time Scheduling Method for Embedded Multimedia Applications. Proceedings of the 2006 International Conference on Pervasive Systems & Computing, PSC 2006, Las Vegas, Nevada, USA , June 26-29, 2006. CSREA Press 2006, ISBN 1-60132-018-3. Pages 104-107.

[NEM 06] Fadia Nemer, Hugues Cassé, Pascal Sainrat, JeanPaul Bahsoun and Marianne De Michiel PapaBench : A Free RealTime Benchmark. International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/06, Frank Mueller (Eds.), Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany , (en ligne), juillet 2006.

[THO 06] D. Thomas, C. Baron, B. Tondu. Ingénierie dirigée par les modèles appliquée à la conception d'un contrôleur de robot de service. 2èmes journées sur l'ingénierie Dirigée par les modèles. Lille, 26-28 juin 2006.

[BRY 05] Kevin Bryan, Tiegeng Ren, Jiangyin Zhang, Lisa DiPippo, Victor Fay-Wolfe The Design of the OpenSTARS Adaptive Analyzer for Real-Time Distributed Systems. Proceedings of the 2005 Workshop on Parallel and Distributed Real-Time Systems, Interlocken, Colorado, April 2005.