|
计算机应用研究 2008
Code automatic generation technology of AADL models
|
Abstract:
With the wide application of safety critical embedded systems in various fields,some modern software engineering technology must be developed to increase the security of embedded system to insure the safety of people.Based on the model-driven architecture method,this paper deeply researched the code automatic generation technology of AADL(architecture analysis and design language) models,then proposed the mapping rules between AADL model element and C/Ada language syntax element.Finally worked out a code automatic generation tool named generator,and integrated it into the open source tool OSATE.At the end,it showed the efficiency of the generator through an example.