【摘要】 针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。更多还原

【Abstract】 Formal method is an important approach to guarantee the correctness of real-time system,due to the importance when applying it into the computer system,and the temporal logic is an important theoretical foundation of real-time system research.This paper introduces the temporal logic language XYZ/E,and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram.更多还原