如需要完整文档点击下方 "点击下载文档" 按钮
信息物理融合系统(CPS)是物联网进一步发展的产物,CPS 将物理过程与信息计算过程紧密联系,是一种复杂的混合系统,Modelica 与 AADL 是适用于信息物理融合系统(CPS)的嵌入式系统体系结构建模语言。利用 Modelica 对物理系统部分建模,AADL 对信息系统部分建模,将信息物理系统的建模分割开来,设计了 Modelica-AADL 接口将二者结合起来,使得物理世界与计算过程相融合。概率混成自动机是对信息物理融合系统验证分析的有效形式化建模方式,Modelia-AADL 模型无法进行直接的形式化模型检测工作,根据 Modelica 与 AADL 行为附件各自的特点,抽象出状态,定义了一系列规则,给出转换算法,完成了 MA 模型向概率混成自动机的转换,使得系统模型能够形式化描述,有助于信息物理融合系统的可靠性与安全性验证。
如需要完整文档点击下方 "点击下载文档" 按钮
《MA建模的概率混成自动机转换方法研究》
将 完整文档 下载到本地,方便收藏和查阅
文件号:061966
点击下载文档