项目简介
设计安全、可靠的实时和嵌入式系统（安全攸关系统）是计算机科学和控制理论面临的巨大挑战。本研究基于严格数学理论（即形式化方法），提出实时和嵌入式系统形式设计理论并应用于实践。主要科学发现点：1. 创立时段演算理论。时段演算基于区间逻辑，以实数作为时间模型，用时间域上的布尔函数模拟系统的实时状态。时段演算是由周巢尘和C.A.R. Hoare及A.P. Ravn在1991年创立，已是国际学术界公认的探索实时系统形式设计的一种主流方法。2.建立一套嵌入式系统形式设计理论，解决了嵌入式系统验证中的若干难题。
应用领域
这项工作获得了国际同行高度评价，推广和发展。理论成果已应用于国家重大战略，如高速铁路控制系统（CTCS-3）、航天器控制软件设计（如嫦娥-3软着陆控制软件）等
相关图片
