CAJ | 학술논문

针对硬实时软件缺乏有效的系统动态行为建模机制，提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程；然后提出时间调度算法，用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间；最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性，计算结果有助于硬实时系统截止期的量化分析和优化设计。
침대경실시연건결핍유효적계통동태행위건모궤제，제출료일충용우경실시연건건모여분석적진정대수방법。수선재시간통신순서진정적기출상확전경실시어의득도경실시통신순서진정；연후제출시간조도산법，용우검사경실시계통단개지령절지기적가만족성이급계산완성임무소수적최소시간；최후통과항공영역적일개실례래설명해방법여하응용우경실시연건적건모여분석。해방법가이흔대정도상제고경실시연건집행시간계산적준학성，계산결과유조우경실시계통절지기적양화분석화우화설계。
Since the design of hard real-time software lacks the effective method for modeling system dynamic behaviors, this paper proposes the process algebra support for modeling and analyzing hard real-time software to solve this problem. Firstly, this paper introduces the hard real-time communicating sequential process (CSP) by extending hard real-time semantics of timed CSP. Then, this paper proposes the time scheduling algorithms to check whether all behaviors of the system are satisfied within the deadlines and figure out the shortest execution time of the system.Finally, this paper gives an instance of aviation field to describe how to apply this method to model and analyze hard real-time software. This method improves the accuracy and efficiency of the execution time calculation of hard real-time software, and the calculation results can be used to quantitatively analyze and optimize the deadline of hard real-time system.