| 形式化方法和混合系统 |
| |
| 引用本文： | 韩俊刚.形式化方法和混合系统[J].西安邮电学院学报,1999,4(1):8-12,64. |
| |
| 作者姓名： | 韩俊刚 |
| |
| 摘 要： | 形式化方法的主要研究对象是计算机系统的设计和验证。这里的计算机系统可以是硬件系统，软件系统，嵌入式系统（ＥｍｂｅｄｄｅｄＳｙｓｔｅｍ）、分布式系统（ＤｉｓｔｒｉｂｕｔｅｄＳｙｓｔｅｍ）、反应式系统（ＲｅａｃｔｉｖｅＳｙｓｔｅｍ）、实时系统（Ｒｅａｌ－ｔｉｍｅｓｙｓｔｅｍ）。近年来，形式化方法的研究领域扩展到混合系统。本文论述形式化方法在混合系统研究中的作用、混合系统的研究内容和意义。重点是评述混合系统的验证方法，并提出混合系统验证研究的途径。
|
| 关 键 词： | 混合系统 形式化方法 形式化验证 实时系统 |
Formal Methods and Hybrid Systems |
| |
| Abstract: | Formal method is mainly used in the design and verification of computer systems, which may be hardware systems, software systems, embeded systems, distributed systems, reactive systems and realtime Systems. Recently, the application of formal methods has been extended to hybrid systems. In this paper the application of formal method to hybrid system, the content of hybrid system are discussed, with emphasis on the verification of hybrid system. |
| |
| Keywords: | Hybrid Systems Formal Methods Formal Verification Real-time System |
| 本文献已被 维普 等数据库收录！ |
|
