摘要
形式化方法的主要研究对象是计算机系统的设计和验证。这里的计算机系统可以是硬件系统，软件系统，嵌入式系统（ＥｍｂｅｄｄｅｄＳｙｓｔｅｍ）、分布式系统（ＤｉｓｔｒｉｂｕｔｅｄＳｙｓｔｅｍ）、反应式系统（ＲｅａｃｔｉｖｅＳｙｓｔｅｍ）、实时系统（Ｒｅａｌ－ｔｉｍｅｓｙｓｔｅｍ）。近年来，形式化方法的研究领域扩展到混合系统。本文论述形式化方法在混合系统研究中的作用、混合系统的研究内容和意义。重点是评述混合系统的验证方法，并提出混合系统验证研究的途径。
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.
出处
《西安邮电学院学报》
1999年第1期8-12,64,共6页
Journal of Xi'an Institute of Posts and Telecommunications
基金
国家自然科学基金
