CHEDDAR - Revision 5257: /trunk/project_examples/aadl/exported

• ..
• 00readme.html
• AADL_Project.aadl
• AADL_Properties.aadl
• Cheddar_Properties.aadl
• User_Defined_Cheddar_Properties.aadl
• activations.sc
• arinc.sc
• arinc_event_analyzer.sc
• test_PCP_shared_resources.aadl
• test_PCP_shared_resources.xmlv3
• test_PIP_shared_resources.aadl
• test_PIP_shared_resources.xmlv3
• test_buffers.aadl
• test_buffers.xmlv3
• test_edf.aadl
• test_edf.xmlv3
• test_edf_aperiodic.aadl
• test_edf_aperiodic.xmlv3
• test_message.aadl
• test_message.xml
• test_non_preemptive_edf.aadl
• test_non_preemptive_edf.xmlv3
• test_non_preemptive_rate_monotonic.aadl
• test_non_preemptive_rate_monotonic.xmlv3
• test_posix_scheduler.aadl
• test_posix_scheduler.xmlv3
• test_rate_monotonic.aadl
• test_rate_monotonic.xmlv3
• test_task_precedencies_to_properties.aadl
• test_task_precedencies_to_properties.xmlv3
• test_userdefined_scheduler.aadl
• test_userdefined_scheduler.xmlv3
• test_userdefined_task.aadl
• test_userdefined_task.xmlv3