《表2 AADL进程构件与Ada映射规则》
提示:宽带有限、当前游客访问压缩模式
本系列图表出处文件名:随高清版一同展现
《基于AADL的航天嵌入式软件Ada代码自动生成方法》
AADL模型中,进程构件用于描述软件的系统层及子系统层。系统构件的功能近似于进程构件,映射到代码时作为进程来被描述,故对系统构件与进程构件使用相同的转换规则。AADL进程构件映射为Ada程序中的过程,表2展示了进程构件的详细映射关系。进程构件中的特征描述进程的接口,可以是数据、事件或事件数据端口,故映射为Ada过程的形参。进程中的链接用于描述进程中2个线程之间的交互、线程和进程端口之间的通信以及线程和进程中数据对象之间的交互。
图表编号 | XD00164195400 严禁用于非法目的 |
---|---|
绘制时间 | 2020.06.01 |
作者 | 冯思喆、杨志斌、薛垒 |
绘制单位 | 南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工信部重点实验室、南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工信部重点实验室、上海航天电子技术研究所 |
更多格式 | 高清、无水印(增值服务) |