适用AADL建模的例子，aadl文件，aaxl文件

[{"title":"（ 19 个子文件 121KB ） 适用AADL建模的例子，aadl文件，aaxl文件","children":[{"title":"ExampleModels","children":[{"title":"aadl","children":[{"title":"schedulingexample.aadl <span style='color:#111;'> 1.50KB </span>","children":null,"spread":false},{"title":"session5.self.monitor.example.template.aadl <span style='color:#111;'> 7.29KB </span>","children":null,"spread":false},{"title":"session5.self.monitor.example.aadl <span style='color:#111;'> 7.70KB </span>","children":null,"spread":false},{"title":"Display_System.aadl <span style='color:#111;'> 1.25MB </span>","children":null,"spread":false},{"title":"session2_cockpit_display_exercise.aadl <span style='color:#111;'> 4.55KB </span>","children":null,"spread":false},{"title":"Avionics_System_PeriodicIO.aadl <span style='color:#111;'> 6.12KB </span>","children":null,"spread":false},{"title":"tripleredundant.aadl <span style='color:#111;'> 14.32KB </span>","children":null,"spread":false},{"title":"packages","children":[{"title":"avionics_flightmanager_shared.aadl <span style='color:#111;'> 3.54KB </span>","children":null,"spread":false},{"title":"avionics_subsystems.aadl <span style='color:#111;'> 4.75KB </span>","children":null,"spread":false},{"title":"avionics_datatypes.aadl <span style='color:#111;'> 1.14KB </span>","children":null,"spread":false},{"title":"avionics_flightmanager.aadl <span style='color:#111;'> 9.39KB </span>","children":null,"spread":false}],"spread":true},{"title":"Avionics_System_Priority_Inversion.aadl <span style='color:#111;'> 794B </span>","children":null,"spread":false},{"title":"Avionics_System_Flow_Latency.aadl <span style='color:#111;'> 4.74KB </span>","children":null,"spread":false},{"title":"securityexample.aadl <span style='color:#111;'> 1.38KB </span>","children":null,"spread":false}],"spread":false},{"title":".aadlsettings <span style='color:#111;'> 78B </span>","children":null,"spread":false},{"title":".project <span style='color:#111;'> 393B </span>","children":null,"spread":false},{"title":"aaxl","children":[{"title":"securityexample.aaxldi <span style='color:#111;'> 11.45KB </span>","children":null,"spread":false},{"title":"Avionics_System_Flow_Latency.aaxldi <span style='color:#111;'> 19.46KB </span>","children":null,"spread":false},{"title":"Avionics_System_PeriodicIO.aaxldi <span style='color:#111;'> 22.01KB </span>","children":null,"spread":false},{"title":"packages","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}]