Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate

Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular architecture are generated by Platypus, a software engineering tool based on the STEP standards. Cheddar owns a dedicated specification language. It can also process AADL v1 specifications. In order to extend the scope of Cheddar to AADL v2 specifications, we introduced a translation component called Dairy. It aims at creating valid Cheddar data from AADL v2 specifications. The frontend of Dairy comes from Osate v2. Hence, the backend of Dairy must produce Cheddar data from instances of the AADL metamodel that has been implemented into Osate. Both of Cheddar and Osate are legacy systems built with different frameworks, different standards and different languages. Hence, the design of Dairy poses the problem of their integration. We postulate that an implemented metamodel should neither be rewritten nor be d...

• Type: Conference
• Year: 2010
• Where: ICECCS
• Authors: Mickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux
• Keywords: AADL V2 Specifications, Cheddar, Cheddar Data, Hardware, ICECCS 2010