J4 ›› 2013, Vol. 35 ›› Issue (3): 121-127.
• 论文 • Previous Articles Next Articles
BAI Haiyang,LI Jing,ZHAO Na
Received:
Revised:
Online:
Published:
Abstract:
The Architecture Analysis and Design Language (AADL) is a popular language for embedded system development in industrial control, automotive, aerospace and other mission critical and realtime fields. In order to validate the schedulability of the established model at early stage, we propose a new method which can translate the AADL model into time automaton model. The scheduling strategy of the AADL model is mapped to the template of time automaton model, and we define the specific rules of translating the AADL execution model and behavior model. The generated model can be simulated and checked through the tool UPPAAL, to analyze the schedulability of the original model. Finally, the project describes the whole process of AADL modeling, model transformation and model verification, and proves the validation of the method.
Key words: architecture analysis and design language;time automata model;model transformation;UPPAAL;schedulability verification
BAI Haiyang,LI Jing,ZHAO Na. Schedulability validation of embedded software model based on time automaton [J]. J4, 2013, 35(3): 121-127.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2013/V35/I3/121