实时系统的逻辑理论基础研究

实时系统理论是目前计算机理论研究的一个热点，同步语言是一类新的专用于实时系统设计的语言。本项目将应用时态逻辑、区间逻辑及我们建立的两维时间逻辑作为工具，集中研究实时系统的逻辑基础及同步语言的语义模型、时间特性描述、形式化开发和验证等。在此同时研究实时逻辑本身的构造和性质。