CHEDDAR - Revision 5257: /trunk/project_examples/aadl

• ..
• 00readme.html
• AADL_Project.aadl
• AADL_Properties.aadl
• Cheddar_MILS.aadl
• Cheddar_Multicore_Properties.aadl
• Cheddar_Parameters_Properties.aadl
• Cheddar_Properties.aadl
• Cheddar_Transformation_Properties.aadl
• SEA-UE-ROVER/
• User_Defined_Cheddar_Properties.aadl
• exported/
• imported/