硬实时软件建模与分析的进程代数方法

• 作者: 周航 张广泉 祝义 肖芳雄 黄志球
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 实时软件 硬实时 进程代数 时间通信顺序进程 模型检验
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 684-693
• 页数: 10页
• 分类号: TP311
• 字数: 7007字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1311033

摘要

针对硬实时软件缺乏有效的系统动态行为建模机制，提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程；然后提出时间调度算法，用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间；最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性，计算结果有助于硬实时系统截止期的量化分析和优化设计。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	周航	南京航空航天大学民航学院	34	186	8.0	11.0
3	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
4	祝义	江苏师范大学计算机科学与技术学院	16	35	3.0	5.0
5	肖芳雄	广西财经学院信息与统计学院	19	99	5.0	9.0