Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS

Mian, Zhibao; Gao, Yaqing; Shi, Xiaodong; Tang, Cairong

Abstract

Currently, AADL has gradually become as one of the standards for the architecture design of complex embedded system. It is widely used in aerospace, automotive electronics and other fields for the design and analysis of high dependability-critical systems. Although the Error Model annex (EMA) of AADL can well support AADL error modeling, there is still a lack of technical method for multiobjective (based on dependability and cost) architecture optimisation analysis for dependable system. In order to achieve the optimisation analysis of AADL model, an effective method is to transform the AADL model into other equivalent models. This paper introduces the preliminary work of transforming AADL2 dependability model into a mature optimisation analysis tool model - HiP-HOPS model, and analyses the semantic mapping relationship between the two different models. Model transformation can not only integrate the dependability modeling field to the analysis field, but also enables the optimisation analysis process simple and effective. This also brings good technical and engineering value under the current economic and technological situation.

Citation

Mian, Z., Gao, Y., Shi, X., & Tang, C. (2019, November). Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS. Presented at 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, Rome, Italy

• Presentation Conference Type: Conference Paper (published)
• Conference Name: 2019 4th International Conference on System Reliability and Safety, ICSRS 2019
• Start Date: Nov 20, 2019
• End Date: Nov 22, 2019
• Acceptance Date: Oct 6, 2019
• Publication Date: Feb 10, 2020
• Deposit Date: Jul 12, 2022
• Publisher: Institute of Electrical and Electronics Engineers
• Pages: 539-543
• Book Title: 4th International Conference on System Reliability and Safety (ICSRS)
• ISBN: 9781728147819
• DOI: https://doi.org/10.1109/ICSRS48664.2019.8987619
• Keywords: AADL , HiP-HOPS , model transformation , semantic mapping , multi-objective architecture optimization
• Public URL: https://hull-repository.worktribe.com/output/4028783
• Publisher URL: https://ieeexplore.ieee.org/document/8987619