文件名称：适用AADL建模的例子，aadl文件，aaxl文件
文件大小：121KB
文件格式：ZIP
更新时间：2013-05-18 15:50:17
AADL 建模
包含了一系列SEI等的AADL建模的例子
【文件预览】：
ExampleModels
----aadl()
--------schedulingexample.aadl(2KB)
--------session5.self.monitor.example.template.aadl(7KB)
--------session5.self.monitor.example.aadl(8KB)
--------Display_System.aadl(1.25MB)
--------session2_cockpit_display_exercise.aadl(5KB)
--------Avionics_System_PeriodicIO.aadl(6KB)
--------tripleredundant.aadl(14KB)
--------packages()
--------Avionics_System_Priority_Inversion.aadl(794B)
--------Avionics_System_Flow_Latency.aadl(5KB)
--------securityexample.aadl(1KB)
----.aadlsettings(78B)
----.project(393B)
----aaxl()
--------securityexample.aaxldi(11KB)
--------Avionics_System_Flow_Latency.aaxldi(19KB)
--------Avionics_System_PeriodicIO.aaxldi(22KB)
--------packages()