%0 Journal Article %A 祝义 %A 黄志球 %A 张广泉 %A 周航 %A 肖芳雄 %T 硬实时软件建模与分析的进程代数方法 %D 2014 %R 10.3778/j.issn.1673-9418.1311033 %J 计算机科学与探索 %P 684-693 %V 8 %N 6 %X 针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间;最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性,计算结果有助于硬实时系统截止期的量化分析和优化设计。 %U http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.1311033