Open Access
表7
AADL模型生成结果
| 编号 | FACE模型 | AADL模型 | AADL模型特征 |
| TC01 | observable | data | 引入逐层细化思想, 符合FACE共享数据模型标准 |
| TC02 | Measurement | data | |
| TC03 | P_View | data, data implementation | |
| TC04 | P_Entity | data | |
| TC05 | IDL | data | |
| TC06 | PCS(ARINCProcess) | thread group, thread group implementation | 生成应用层组件模型, 只引用消息数据端口, 不引用IO接口, 具有高可移植性 引用P_View生成的AADL标准数据组件作为数据接口 由关联的外部设备确定具体的IO服务, 被系统模型中连接引用 |
| TC06 | PCS | process, process implementation | |
| TC06 | MessagePort | data port | |
| TC06 | IOPort | data port | |
| TC07 | PSS(ARINCProcess) | thread group | 生成特定平台组件模型, 依赖消息端口, 同时依赖IO接口, 具有相同IO接口的系统间具有可移植性 |
| TC07 | PSS | process, process implementation | |
| TC08 | ARINC653 System | system, system implementation | 引用ARINC653 Partion作为子组件, 引用分区端口间通信作为连接 作为子组件被ARINC653 System引用 引用UoP生成的AADL模型作为子组件 |
| TC08 | ARINC653 Partion | process, process implementation | |
| TC08 | ARINC653 UoP | thread group | |
| TC09 | channel | connection | 作为连接被AADL系统组件引用 |
| TC09 | queuingPort | event data port | 作为事件数据端口被进程组件引用 |
| TC09 | samplingPort | data port | 作为数据端口被进程组件引用 |
| TC10 | IOPort Configuration | device | 支持9种IO服务作为子程序, 对特定平台组件模型提供标准IO接口调用 |
| TC11 | POSIX UoP | process | 作为子组件被POSIX系统引用 |
| TC12 | Transport-Service | virtual bus | 支持4种TS服务以属性形式定义虚拟总线, 对特定平台组件和应用层组件提供标准连接绑定 |
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.