| 摘要: |
| XYZ/E是一个时序逻辑系统，同时也是一种时序逻辑程序设计语言。XYZ/E能够在统一的框架下表示高层和低层的描述，所以便于软件系统的描述与实现。该文对基于XYZ/E的蒸气锅炉问题进行了描述与实现，并介绍了为该问题实现的图形用户界面. |
| 关键词: 时序逻辑语言，混成实时系统，描述，XYZ/E. |
| DOI： |
| 分类号: |
| 基金项目:This research is supported by the National Natural Science Foundation of China(国家自然科学基金,No.69673019) |
|
| Building Hybrid Real Time Systems in XYZ/E——Implemen-tation of the Steam-Boiler Control Specification Problem |
|
YAN An,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... |
| Key words: Temporal logic language real-time hybrid system specification XYZ/E. |
