全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2000 

Hybrid Systems in XYZ/E
基于XYZ/E的混成系统

Keywords: Hybrid system,phase transition system,temporal logic language,XYZ/E,program specification,verification
混成系统
,相位转换系统,时序逻辑语言,XYZ/E,程序规范,验证.

Full-Text   Cite this paper   Add to My Lib

Abstract:

混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与静态语义统一在同一框架中,支持从抽象的程序规范到可执行代码的逐步求精的全过程.该文使用XYZ/E语言描述和验证混成系统.首先介绍了计算模型,然后介绍了XYZ语言对混成系统的形式化描述,最后介绍了混成系统的验证.与同类工作相比,XYZ/E支持状态转换,从而可以方便地描述复杂的控制算法.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133