The AADL files in this directory are produced by the Cheddar's XML to AADL tranlator.
The XML files, from which the AADL files are generated, are the followings :

<ul>
<li> test_rate_monotonic.xml : export of a preemptive Rate Monotonic scheduler and periodic tasks
<li> test_edf.xml : expot of a preemptive EDF scheduler with periodic tasks
<li> test_non_preemptive_edf.xml : export of non preemptive EDF scheduler and periodic tasks
<li> test_non_preemptive_rate_monotonic.xml : export of non preemptive Rate Monotonic scheduler and periodic tasks
<li> test_edf_aperiodic.xml : export of preemptive EDF with aperiodic tasks
<li> test_posix_scheduler.xml :  export of preemptive POSIX scheduler  with periodic and aperiodic tasks
<li> test_PCP_shared_resources.xml : export periodic tasks sharing PCP resources
<li> test_PIP_shared_resources.xml : export periodic tasks sharing PIP resources
<li> test_task_dependencies.xml : export task with scheduling task dependencies
<li> test_parametric_scheduler.xml : export user's defined scheduler with user's defined task parameters
<li> test_message.xml : export a system with task sending/receiving messages
<li> test_parametric_task.xml : export user's defined task activation rule
<li> test_buffers.xml : export tasks sharing a buffer
</ul>