摘要
实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题。
AADL （architecture analysis and design language） is a component-based semi-formal modeling language for construction of real-time and embedded systems. When modeling systems by combination of AADL components, the behaviors may be incompatible because of unmatched sequences of interaction activities. An approach of compatible combinations of AADL components is presented. Firstly AADL models are transformed to IA （interface automata） based on MDE, and the corresponding compatibility is verified. Then the compatible running environments are generated using IA supporting tools. At last, the environment models are mapped to AADL components so as to solve the combination incompatible problems of AADL components.
出处
《计算机工程与设计》
CSCD
北大核心
2014年第5期1862-1867,共6页
Computer Engineering and Design
基金
国家青年基金项目(61003025)
江苏省科技基金项目(BE2012184)
南京中医药大学青年自然科学基金项目(11XZR17)
