File list (Check if you may need any files):
ExampleModels\.aadlsettings
.............\.project
.............\aadl
.............\....\Avionics_System_Flow_Latency.aadl
.............\....\Avionics_System_PeriodicIO.aadl
.............\....\Avionics_System_Priority_Inversion.aadl
.............\....\Display_System.aadl
.............\....\packages
.............\....\........\avionics_datatypes.aadl
.............\....\........\avionics_flightmanager.aadl
.............\....\........\avionics_flightmanager_shared.aadl
.............\....\........\avionics_subsystems.aadl
.............\....\schedulingexample.aadl
.............\....\securityexample.aadl
.............\....\session2_cockpit_display_exercise.aadl
.............\....\session5.self.monitor.example.aadl
.............\....\session5.self.monitor.example.template.aadl
.............\....\tripleredundant.aadl
.............\aaxl
.............\....\Avionics_System_Flow_Latency.aaxldi
.............\....\Avionics_System_PeriodicIO.aaxldi
.............\....\packages
.............\....\securityexample.aaxldi
ExampleModels
Download