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


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… (More)
DOI: 10.1109/ICECCS.2010.15


6 Figures and Tables

Slides referencing similar topics