| 在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决 |
| |
| 引用本文： | 闫安,唐稚松. 在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决[J]. 软件学报, 2000, 11(6): 711-719 |
| |
| 作者姓名： | 闫安 唐稚松 |
| |
| 作者单位： | 中国科学院软件所计算机科学开放研究实验室,北京,100080;中国科学院软件所计算机科学开放研究实验室,北京,100080 |
| |
| 基金项目： | This research is supported by the National Natural Science Foundation of China(国家自然科学基金,No.69673019) |
| |
| 摘 要： | XYZ/E是一个时序逻辑系统，同时也是一种时序逻辑程序设计语言。XYZ/E能够在统一的框架下表示高层和低层的描述，所以便于软件系统的描述与实现。该文对基于XYZ/E的蒸气锅炉问题进行了描述与实现，并介绍了为该问题实现的图形用户界面.
|
| 关 键 词： | 时序逻辑语言，混成实时系统，描述，XYZ/E. |
| 收稿时间： | 1998-09-04 |
| 修稿时间： | 1999-01-27 |
Building Hybrid Real-Time Systems in XYZ/E--Implementation of the Steam-Boiler Control Specification Problem |
| |
| YAN An and TANG Zhi song. Building Hybrid Real-Time Systems in XYZ/E--Implementation of the Steam-Boiler Control Specification Problem[J]. Journal of Software, 2000, 11(6): 711-719 |
| |
| Authors: | YAN An and TANG Zhi song |
| |
| Abstract: | XYZ is a software engineering system consisting of a temporal logic language XYZ/ E and a set of CASEtools.The temporal logic language XYZ/ E is based on Manna- Pnuli's Linear- Time Temporal L ogic.It canrepresent both high level and low level specifications in the same frame work,so that the specification andimplementation of software systems are very convenient.XYZ/ E is simple yet expressive enough to be acceptedby engineers.Besides,the formal nature of this language makes it capable of programming verif... |
| |
| Keywords: | Temporal logic language real-time hybrid system specification XYZ/E. |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
