| 一种支持实时软件资源建模与分析的方法 |
| |
| 引用本文： | 祝义,黄志球,曹子宁.一种支持实时软件资源建模与分析的方法[J].东南大学学报(自然科学版),2010,40(3). |
| |
| 作者姓名： | 祝义 黄志球 曹子宁 |
| |
| 作者单位： | 1. 南京航空航天大学信息科学与技术学院,南京210016;徐州师范大学计算机科学与技术学院,徐州221116
2. 南京航空航天大学信息科学与技术学院,南京,210016 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)资助项目，国家自然科学基金资助项目，江苏省自然科学基金资助项目 |
| |
| 摘 要： | 针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计.
|
| 关 键 词： | 实时软件 资源 建模 通信顺序进程 |
Support method for resource modeling and analysis of real-time software |
| |
| Zhu Yi,Huang Zhiqiu,Cao Zining.Support method for resource modeling and analysis of real-time software[J].Journal of Southeast University(Natural Science Edition),2010,40(3). |
| |
| Authors: | Zhu Yi Huang Zhiqiu Cao Zining |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
