AADL2TASM: a Verification and Analysis Tool for AADL ModelsOA

作者：JIANG Shu;HU Kai;YANG Zhi-bin;GU Bin;ZHANG Teng;JIANG Pan-chang

作者单位：School of Computer Science and Engineering,Beihang University,Beijing 100191,ChinaSchool of Computer Science and Engineering,Beihang University,Beijing 100191,ChinaSchool of Computer Science and Engineering,Beihang University,Beijing 100191,ChinaBeijing Institute of Control Engineering,Beijing 100190,ChinaSchool of Computer Science and Engineering,Beihang University,Beijing 100191,ChinaSchool of Computer Science and Engineering,Beihang University,Beijing 100191,China

分类：信息技术与安全科学

中文关键词：architecture analysis and design language (AADL)timed abstract state machine (TASM)model transformationatlas transformation language(ATL)

英文关键词：architecture analysis and design language (AADL)timed abstract state machine (TASM)model transformationatlas transformation language(ATL)

刊名：《东华大学学报（英文版）》 2012 (1)

页码/页数：94-98,5

基金：National Naural Science Foundations of China(No.61073013,No.90818024)Aviation Science Foundation of China(No.2010ZAO4001)