- ARINC653.exp : models a partition table
compliant with ARINC 653. Those tables
are filled with schedules generated by
Cheddar during a scheduling simulation.

- cheddar_adl_constraints.exp : 

- cheddar_adl.exp : models cheddar's own
architecture description language. This adl
enables to model the real-time systems cheddar
analyses.

- cheddar_api.exp : models parts of cheddar's
api, used for code generation of cheddar toolset.

- cheddar_applicability_constraints.exp :
models applicability constraints defined and
used for the design pattern approach.

- cheddar_config.exp : defines constants used
for cheddar code generation and during its execution.

- cheddar_design_patterns.exp : models architectural
design patterns used for automatic feasibility tests
selection and lists the applicability contraints for
each design patterns.

- cheddar_graphical_editor.exp :

- cheddar_language.exp : 

- cheddar_mapping.exp : models the mapping between
entity of the cheddar meta model and the ada type 
that needs to be generated. Used for code generation
 of cheddar toolset.

- cheddar_types.exp : models cheddar's basic types.

- express2cheddar.exp :

- platypus-toolbox.exp :