| 基于XYZ/E的混成系统 |
| |
| 引用本文： | 阎安,唐稚松.基于XYZ/E的混成系统[J].软件学报,2000,11(1):1-7. |
| |
| 作者姓名： | 阎安 唐稚松 |
| |
| 作者单位： | 中国科学院软件研究所计算机科学开放研究实验室,北京,100080 |
| |
| 基金项目： | This research is supported by the national Natural Science Foundation of China (国家自然科学基金.No.69673019). |
| |
| 摘 要： | 混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与静态语义统一在同一框架中,支持从抽象的程序规范到可执行代码的逐步求精的全过程.该文使用XYZ/E语言描述和验证混成系统.首先介绍了计算模型,然后介绍了XYZ语言对混成系统的形式化描述,最后介绍了混成系统的验证.与同类工作相比,XYZ/E支持状态转换，从而可以方便地描述复杂的控制算法.
|
| 关 键 词： | 混成系统 相位转换系统 时序逻辑语言 XYZ/E 程序规范 验证. |
| 收稿时间： | 1997/12/12 0:00:00 |
| 修稿时间： | 1998/3/30 0:00:00 |
Hybrid Systems in XYZ/E |
| |
| YAN An and TANG Zhi-song.Hybrid Systems in XYZ/E[J].Journal of Software,2000,11(1):1-7. |
| |
| Authors: | YAN An and TANG Zhi-song |
| |
| Affiliation: | Lab. of Computer Science Institute of Software The Chinese Academy of Sciences Beijing 100080 |
| |
| Abstract: | |
| |
| Keywords: | Hybrid system phase transition system temporal logic language XYZ/E program specification verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
