Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models作者机构：Department of Computer Science Normal High School of Constantine Constantine Algeria
出 版 物：《Journal of Software Engineering and Applications》 (软件工程与应用（英文）)
年 卷 期：2013年第6卷第3期
页 面：147-155页
学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学]
主 题：AADL Timed Automata Transformation Verification Uppaal
摘 要：In this work, we propose an approach for the verification of the AADL architecture. This approach is based on Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism;we define a transformation process in two steps: the first is a Model2 Model transformation which takes an AADL Model and produces the corresponding timed automata model. The second transformation is a Model2 Text transformation which takes a timed automata model and generates a text in ta-format code. This code is accepted by the Uppaal toolbox. A case study has been developed to show the feasibility and validity of the proposed approach.
维普期刊数据库