嵌入式计算机控制系统可信化构造关键技术研究

高可信是以离散变化和连续行为相融合为特征的嵌入式计算机控制系统分析与设计中的共性和关键性问题。本项目将对这类系统可信化构造中的一些关键技术进行研究。具体的研究内容是：（1）建立一套 数学模型，即基于进程代数的嵌入式计算机控制系统形式化模型；（2）抽象和分析的有力工具，如互模拟和模拟理论，的建立；（3）嵌入式计算机控制系统层次化方法的提出；（4）实例分析和辅助软件工具开发。.近年来，随着诸如嵌入式计算机控制系统等混合系统的应用日益广泛和深入，系统的高可信问题已经成为人们的研究热点和难点，也是关乎国民经济安全运行的迫切需要解决的问题。本项目将为嵌入式计算机控制系统的可信化构造提供统一的方法框架。本项目的研究成果不仅可以直接用于计算机、自动控制、通信等领域，而且对生命科学中的系统生物学领域有方法论的意义。因而本项目具有重要的理论意义和实际应用价值。