实时系统理论及系统开发的形式化方法研究

实时系统的蓬勃发展丞需理论研究的支持和严格可靠的开发方法。本项目致力于研究实时系统的逻辑和代数语义理论，根据有关理论结果设计一集完整的支持实时系统软硬件协同设计中软硬件自动划分的代数规则，以支持严格形式化的协同设计过程。我们将开发支持软硬件划分的支撑系统，并研究如何将基于形式化技术的方法应用于一般的实时系统。