一种支持实时软件资源建模与分析的方法

• 作者: 曹子宁 祝义 黄志球
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 工学
• 关键词: 实时软件 资源 建模 通信顺序进程
• 年，卷（期）: 2010,（3）
• 页码范围: 500-505
• 分类号: TP311
• 字数: 4672字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0505.2010.03.013

摘要

针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学信息科学与技术学院	183	1755	20.0	33.0
2	祝义	南京航空航天大学信息科学与技术学院	15	179	8.0	13.0
4	曹子宁	南京航空航天大学信息科学与技术学院	25	200	8.0	13.0