EMA2AOP: From the AADL Error Model Annex to Aspect Language Towards Fault Tolerant Systems

被引:0
|
作者
Gabsi, Wafa [1 ]
Zalila, Bechir [1 ]
Jmaiel, Mohamed [1 ,2 ]
机构
[1] Univ Sfax, ReDCAD Lab, Natl Sch Engn Sfax, BP 1173, Sfax 3038, Tunisia
[2] Digital Res Ctr Sfax, BP 275, Sakiet Ezzit 3021, Sfax, Tunisia
关键词
Fault-tolerance; modelling; aspect-oriented programming; AADL; Error Model Annex; model transformation;
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Fault tolerance, one of the means of dependability, is defined as the capability of a system to continue providing offered services even in the presence of errors. Modelling fault tolerant systems is becoming a serious challenge due to emerging requirements suh as dynamism, distribution and system evolution. In this context, AADL is extended by the Error Model Annex to design architectural error model even for critical systems for analysis and assessment purposes. In this paper, we define a model driven approach to generate fault tolerant application code using aspect oriented programming. First, we integrate fault tolerance elements since the modelling step of a system using AADL and its annex Error Model Annex. Second, we define a set of transformation rules from the EMA annex to the AO4AADL annex, an extension of the AADL language by architectural aspects. The model transformation is generic and not specific to a language. AO4AADL is transformed into aspect code using the same target language as the functional code. Therefore, we ensure separation of concerns at the model level as well as the application level. To validate our approach, we apply it to an infant incubator system.
引用
收藏
页码:155 / 162
页数:8
相关论文
共 2 条
  • [1] Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL
    Gabsi, Wafa
    Zalila, Bechir
    SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING 2015, 2016, 612 : 159 - 175
  • [2] An analysis tool towards fault tolerance systems based on AADL error model
    Zhang W.
    Shen G.
    Huang Z.
    Yang Z.
    Xue L.
    International Journal of Performability Engineering, 2017, 13 (06): : 844 - 853