计算机技术与发展2019，Vol.29Issue(2)：19-22,4.DOI:10.3969/j.issn.1673-629X.2019.02.004
MA建模的概率混成自动机转换方法研究
Research on MA Modeling Transformation Method to Probabilistic Hybrid Automata
摘要
Abstract
Cyber physical system (CPS) is the product of the further development of the Internet of things, which is a complex mixed system that closely involves physical process and cyber compute process.Modelica and AADL belong to modeling languages for embedded system structure which are suitable for cyber physical system.The Modelica-AADL interface is designed for combing Modelica and AADL model.Applying for cyber physical system, Modelica is utilized to implement the physical system model and AADL is taken for cyber system model.Probabilistic hybrid automata is an effective strategy for the formal verification and analysis of CPS.According to the characteristics of Modelica and AADL behavior annex model, the states for one system can be constructed, and a series of rules and definitions are given.Together with the transformation algorithm, the procedure of transformation from MA model to probabilistic hybrid automata is completed in detail so that the system model can be formally described, which is helpful for reliability and security verification of CPS in the further work.关键词
Modelica-AADL建模/接口/模型状态/概率混成自动机/模型转换Key words
Modelica-AADL/interface/model state/probabilistic hybrid automata/model transformation分类
信息技术与安全科学引用本文复制引用
张福高,曹雪岳..MA建模的概率混成自动机转换方法研究[J].计算机技术与发展,2019,29(2):19-22,4.基金项目
国家"973"重点基础研究发展计划项目(2014CB744903) （2014CB744903）
航空科学基金(20150652008) （20150652008）
