基于时序逻辑语言XYZ/E的实时系统应用研究

摘要：

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

关键词：实时系统、形式化方法、时序逻辑、XYZ/E

所属期刊栏目：23

分类号：TP311(计算技术、计算机技术)

资助基金：重庆市教委资助项目040803;中国科学院重点实验室基金SYSKF0303

在线出版日期：2006-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：63-66