嵌入式混合系统设计的基础理论研究

嵌入式系统广泛地应用在我们的日常生活中，而嵌入式系统的安全性和可信度对国民经济的稳定发展产生着深远的影响。嵌入式系统以计算的方式监视和控制着我们的物理世界，而系统中的信息处理和物理处理紧密地结合并集成起来。嵌入式系统中离散和连续成分之间的动态交互作用，可通过混合系统所提供的统一模型架构有效地进行数学建模，混合系统研究为嵌入式系统建立了理论基础和设计方法。顼目的研究目标是进行适用于嵌入式系统的混合系统的基础理论研究, 并透过开发混合系统设计的计算平台，以支持研发高效率的混合系统计算方法和基於混合系统的软件合成工具，以达致对离散和连续成分强相关的嵌入式混合系统进行基于模型的自动分析、设计和软件合成，从而提高嵌入式系统的安全性和可信度。