[1]张福高,曹雪岳.MA建模的概率混成自动机转换方法研究[J].计算机技术与发展,2019,29(02):19-22.[doi:10．3969/j．issn．1673－629X．2019．02．004]
　ZHANG Fugao,CAO Xueyue.Research on MA Modeling Transformation Method to Probabilistic Hybrid Automata[J].,2019,29(02):19-22.[doi:10．3969/j．issn．1673－629X．2019．02．004]
点击复制

MA建模的概率混成自动机转换方法研究()

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
29
期数:
2019年02期
页码:
19-22
栏目:
智能、算法、系统工程
出版日期:
2019-02-10

文章信息/Info

Title:
Research on MA Modeling Transformation Method to Probabilistic Hybrid Automata
文章编号:
1673－629X(2019)02－0019－04
作者:
张福高; 曹雪岳
南京航空航天大学 计算机科学与技术学院，江苏 南京 211106
Author(s):
ZHANG Fu－gao; CAO Xue－yue
School of Computer Science and Technology，Nanjing University of Aeronautics and Astronautics，Nanjing 211106，China
关键词:
Modelica－AADL 建模; 接口; 模型状态; 概率混成自动机; 模型转换
Keywords:
Modelica－AADL; interface; model state; probabilistic hybrid automata; model transformation
分类号:
TP301
DOI:
10．3969/j．issn．1673－629X．2019．02．004
摘要:
信息物理融合系统(CPS)是物联网进一步发展的产物，CPS 将物理过程与信息计算过程紧密联系，是一种复杂的混合系统，Modelica 与 AADL 是适用于信息物理融合系统(CPS)的嵌入式系统体系结构建模语言。利用 Modelica 对物理系统部分建模，AADL 对信息系统部分建模，将信息物理系统的建模分割开来，设计了 Modelica－AADL 接口将二者结合起来，使得物理世界与计算过程相融合。概率混成自动机是对信息物理融合系统验证分析的有效形式化建模方式，Modelia－AADL 模型无法进行直接的形式化模型检测工作，根据 Modelica 与 AADL 行为附件各自的特点，抽象出状态，定义了一系列规则，给出转换算法，完成了 MA 模型向概率混成自动机的转换，使得系统模型能够形式化描述，有助于信息物理融合系统的可靠性与安全性验证。
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．

相似文献/References:

[1]徐超 张珂 江元.基于JAVA的图形编辑程序的结构设计研究[J].计算机技术与发展,2009,(07):108.
　XU Chao,ZHANG Ke,JIANG Yuan.Research on Structure of Graphic Processing Program in JAVA[J].,2009,(02):108.
[2]何频捷 李伟 李玉龙 李长云.软件体系结构中接口连接规则研究[J].计算机技术与发展,2008,(08):121.
　HE Pin-jie,LI Wei,LI Yu-long,et al.Research on Interface Connecting Rule in Software Architecture[J].,2008,(02):121.
[3]钟昌乐 王博.eBoat300数码相机TWAIN驱动的设计[J].计算机技术与发展,2008,(08):163.
　ZHONG Chang- le,WANG Bo.Design of eBoat300 Digital Still Camera TWAIN Driver[J].,2008,(02):163.
[4]胡顺扬 瞿有甜 周波 刘芳.基于．NET平台的软件构件开发方法研究[J].计算机技术与发展,2008,(11):58.
　HU Shun-yang,QU You-tian,ZHOU Bo,et al.Study of Development Approach of Software Components Based on .NET Platform[J].,2008,(02):58.
[5]余强力 陆达 王明芬.SCI数据通信技术的研究和实现[J].计算机技术与发展,2007,(11):190.
　YU Qiang-li,LU Da,WANG Ming-fen.Research and Implementation on SCI Data Transmission[J].,2007,(02):190.
[6]张辉宜 陶陶 赵海军.S3C44B0X嵌入式处理器与ADS7864的接口技术[J].计算机技术与发展,2007,(02):78.
　ZHANG Hui-yi,TAO Tao,ZHAO Hai-jun.Interface Technique Between S3C44B0X and ADS7864[J].,2007,(02):78.
[7]王小林 刘宏中.用C＋＋Builder为接口开发设计应用程序[J].计算机技术与发展,2006,(06):15.
　WANG Xiao-lin,LIU Hong-shen.Development of Application Programs for Hardware Interface with C ＋ ＋ Builder[J].,2006,(02):15.
[8]曹步清 金瓯.Java中的Abstract Class与Interface技术研究[J].计算机技术与发展,2006,(08):110.
　CAO Bu-qing,JIN Ou.Research of Abstract Class and Interface of Java[J].,2006,(02):110.
[9]谢立丹 陈榕.基于Elastos的WebKit引擎的研究与移植[J].计算机技术与发展,2011,(01):12.
　XIE Li-dan,CHEN Rong.Research and Implementation of WebKit for Elastos OS[J].,2011,(02):12.
[10]马燕[] 王文发[] 许淳[] 李红达.基于Web的生产统计报表的设计与实现[J].计算机技术与发展,2012,(02):213.
　MA Yan,WANG Wen-fa,XU Chun,et al.Design and Implementation of Web-Based Production Statistics Report[J].,2012,(02):213.

更新日期/Last Update: 2019-02-10