自动化标记语言Automation ML健壮性分析及验证  

Robustness Analysis and Verification of Automation ML

作　　者：陈曦[1,2] 余国瑞 徐文劼[1] 肖天雷 CHEN Xi;YU GUO-rui;XU Wen-jie;XIAO Tian-lei(Shanghai Institute of Metrology and Testing Technology,Shanghai 201203;Shanghai Key Laboratory of Online Detection and Control Technology,Shanghai 201203)

机构地区：[1]上海市计量测试技术研究院,上海201203 [2]上海市在线检测与控制技术重点实验室,上海20120

出　　处：《数字技术与应用》2019年第5期125-125,127,共2页Digital Technology & Application

基　　金：上海市科委技术标准专项课题,智能制造领域工业数据交换格式基础共性标准研究(16DZ0502300)

摘　　要：首先对自动化标记语言AutomationML技术以及国内外发展情况进展作了介绍,介绍了什么是健壮性,对自动化标记语言健壮性的分析及验证方法进行了描述,并给出了验证方案。Firstly,this paper introduces the technology of Automation ML and its development at home and abroad,introduces what is robustness, describes the analysis and verification methods of robustness of Automation Markup Language,and gives the verification scheme.

关 键 词：自动化标记语言 AUTOMATION ML 健壮性 

分 类 号：TP20[自动化与计算机技术—检测技术与自动化装置]