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

• Published in: 计算机科学与探索 no. 6; pp. 684 - 693
• Main Authors: 祝义, 黄志球, 张广泉, 周航, 肖芳雄
• Format: Journal Article
• Language: Chinese
• Published: 江苏师范大学 计算机科学与技术学院,江苏 徐州,221116%南京航空航天大学 计算机科学与技术学院,南京,210016%苏州大学 计算机科学与技术学院,江苏 苏州,215006%南京航空航天大学 民航学院,南京,210016%广西财经学院 信息与统计学院,南宁,530003 2014
• Subjects: hard real-time; timed communicating sequential process; 模型检验; model checking; process algebra; 进程代数; 时间通信顺序进程; 实时软件; 硬实时; real-time software
• ISSN: 1673-9418
• DOI: 10.3778/j.issn.1673-9418.1311033

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