![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00readme.html | 31-Dec-2013 00:18 | 12K | |
| Cheddar_Properties.aadl | 31-Dec-2013 00:18 | 3.0K | |
| buffers.aadl | 31-Dec-2013 00:18 | 1.5K | |
| cyclic.aadl | 31-Dec-2013 00:18 | 1.2K | |
| pcp.jpg | 31-Dec-2013 00:18 | 161K | |
| sporadic.aadl | 31-Dec-2013 00:18 | 1.7K | |
| pcp2.jpg | 31-Dec-2013 00:18 | 146K | |
| posix.jpg | 31-Dec-2013 00:18 | 117K | |
| precedencies2.aadl | 31-Dec-2013 00:18 | 3.7K | |
| auto_arinc.JPG | 31-Dec-2013 00:18 | 61K | |
| buffers.jpg | 31-Dec-2013 00:18 | 96K | |
| number_of_activations.sc | 31-Dec-2013 00:18 | 456 | |
| partition_scheduler.sc | 31-Dec-2013 00:18 | 1.0K | |
| posix.aadl | 31-Dec-2013 00:18 | 3.3K | |
| sporadic_jitter.sc | 31-Dec-2013 00:18 | 1.3K | |
| AADL_Project.aadl | 31-Dec-2013 00:18 | 2.2K | |
| AADL_Properties.aadl | 31-Dec-2013 00:18 | 9.7K | |
| User_Defined_Cheddar_Properties.aadl | 31-Dec-2013 00:18 | 158 | |
| arinc_partition2.sc | 31-Dec-2013 00:18 | 601 | |
| mixed_ts_priority.aadl | 31-Dec-2013 00:18 | 1.6K | |
| mixed_ts_priority.sc | 31-Dec-2013 00:18 | 1.0K | |
| rate_monotonic.aadl | 31-Dec-2013 00:18 | 894 | |
| sporadic.jpg | 31-Dec-2013 00:18 | 100K | |
| test_process.aadl | 31-Dec-2013 00:18 | 923 | |
| test_threads.aadl | 31-Dec-2013 00:18 | 1.9K | |
| aadl_cyclic_executive.sc | 31-Dec-2013 00:18 | 658 | |
| arinc_partition1.sc | 31-Dec-2013 00:18 | 1.0K | |
| auto_arinc.aadl | 31-Dec-2013 00:18 | 3.1K | |
| jitter.sc | 31-Dec-2013 00:18 | 1.5K | |
| mixed_ts_priority.jpg | 31-Dec-2013 00:18 | 90K | |
| negative_resource.aadl | 31-Dec-2013 00:18 | 1.6K | |
| sporadic.sc | 31-Dec-2013 00:18 | 308 | |
| test_processor_bindings.aadl | 31-Dec-2013 00:18 | 2.2K | |
| test_processors.aadl | 31-Dec-2013 00:18 | 1.9K | |
| arinc_processor.sc | 31-Dec-2013 00:18 | 550 | |
| papabench2.aadl | 31-Dec-2013 00:18 | 30K | |
| part1.aadl | 31-Dec-2013 00:18 | 1.1K | |
| part1_and_part2.jpg | 31-Dec-2013 00:18 | 97K | |
| precedencies1.jpg | 31-Dec-2013 00:18 | 97K | |
| precedencies2.jpg | 31-Dec-2013 00:18 | 153K | |
| rate_monotonic.jpg | 31-Dec-2013 00:18 | 99K | |
| number_of_sporadic_activations.sc | 31-Dec-2013 00:18 | 456 | |
| part2.aadl | 31-Dec-2013 00:18 | 283 | |
| pcp2.aadl | 31-Dec-2013 00:18 | 4.0K | |
| precedencies1.aadl | 31-Dec-2013 00:18 | 1.5K | |
| simulation_engine.aadl | 31-Dec-2013 00:18 | 1.8K | |
| simulation_engine.jpg | 31-Dec-2013 00:18 | 102K | |
| test_sub_systems.aadl | 31-Dec-2013 00:18 | 835 | |
| pcp.aadl | 08-Jul-2015 13:17 | 4.3K | |
| papabench1.aadl | 30-Sep-2015 13:17 | 30K | |
| auto_arinc.xmlv3 | 16-May-2020 08:45 | 5.5K | |
| buffers.xmlv3 | 16-May-2020 08:45 | 5.4K | |
| mixed_ts_priority.xmlv3 | 16-May-2020 08:45 | 4.3K | |
| negative_resource.xmlv3 | 16-May-2020 08:45 | 3.1K | |
| papabench2.xmlv3 | 16-May-2020 08:45 | 29K | |
| part1_and_part2.xmlv3 | 16-May-2020 08:45 | 3.6K | |
| pcp.xmlv3 | 16-May-2020 08:45 | 7.0K | |
| pcp2.xmlv3 | 16-May-2020 08:45 | 7.0K | |
| posix.xmlv3 | 16-May-2020 08:45 | 6.1K | |
| precedencies2.xmlv3 | 16-May-2020 08:45 | 8.5K | |
| rate_monotonic.xmlv3 | 16-May-2020 08:45 | 2.3K | |
| papabench1.xmlv3 | 16-May-2020 08:45 | 21K | |
| precedencies1.xmlv3 | 16-May-2020 08:45 | 5.4K | |
| simulation_engine.xmlv3 | 16-May-2020 08:45 | 5.1K | |
| sporadic.xmlv3 | 16-May-2020 08:45 | 4.1K | |