在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文)

微信服务号

微信订阅号

首页 > 过刊浏览>2000年第11卷第6期 >711-719

在 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

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

XYZ/E是一个时序逻辑系统，同时也是一种时序逻辑程序设计语言。XYZ/E能够在统一的框架下表示高层和低层的描述，所以便于软件系统的描述与实现。该文对基于XYZ/E的蒸气锅炉问题进行了描述与实现，并介绍了为该问题实现的图形用户界面.

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...

参考文献

相似文献

引证文献

引用本文

闫安,唐稚松.在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文).软件学报,2000,11(6):711-719

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1998-09-04
最后修改日期:1999-01-27
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史