| 基于时序逻辑语言XYZ/E的实时系统应用研究 |
| |
| 引用本文： | 刘珊艳,张广泉.基于时序逻辑语言XYZ/E的实时系统应用研究[J].重庆师范大学学报(自然科学版),2006,23(3):63-66. |
| |
| 作者姓名： | 刘珊艳 张广泉 |
| |
| 作者单位： | 重庆师范大学,数学与计算机科学学院,重庆,400047 |
| |
| 基金项目： | 重庆市教委资助项目;中国科学院重点实验室基金 |
| |
| 摘 要： | 针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。
|
| 关 键 词： | 实时系统 形式化方法 时序逻辑 XYZ/E |
| 文章编号： | 1672-6693(2006)03-0063-04 |
| 修稿时间： | 2006年1月11日 |
The Application of Real-time System Based on Temporal Logic XYZ/E |
| |
| LIU Shan-Yan,ZHANG Guang-quan.The Application of Real-time System Based on Temporal Logic XYZ/E[J].Journal of Chongqing Normal University:Natural Science Edition,2006,23(3):63-66. |
| |
| Authors: | LIU Shan-Yan ZHANG Guang-quan |
| |
| 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. |
| |
| Keywords: | real-time systems formal methods temporal logic XYZ/E |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《重庆师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《重庆师范大学学报(自然科学版)》下载免费的PDF全文 |
