Code Automatic Generation And Verification For Micro Turbojet Engine Control Unit Based On AADL

It is more and more important to shorten software development period, save software development cost and ensure system robustness. Therefore, searching more simple and reliable development approachs has becomean irresistibletrend.Model-driven development(MDD), which main development methods are modeling and model transformation, is an advanced software development methodology based on abstract models. And itwas adopted to develop microjet engine controller(MTE) program in this thesis.On the basis of system requirements analysis, the architecture of MTE control system was modeled with architecture analysis and design language(AADL).The hardware and software elements were modeled as corresponding components.The relationships between components were modeled by components connection/binding and sub-program call. Furthermore, AADL syntax and semantics were expanded with behavior annex library. A complete MTE control system was thus modeled in OSATE2 development environment. Thevalidation and dispatch analysiswithAnalysis plug-insconfirmed that the models comply with specifications of AADL architecture, the scheduling strategiesare reasonable, and the program satisfies real-time requirements.uC/OS-III operating system kernel was transplanted to STM32F103 VE processing unit to form the baseof automatic control code generation. Two methods werestudied to generatecontroller code. Firstly, the rulesfor transformation between AADL models and C language program on uC/OS-III platform wereresearched.And a transformation programwas designed, which could convert simple AADL models into C language code. Secondly, Ocarina tool suitewas adopted to generateapplication code on the basis ofPloyORB-HImiddleware. BecauseuC/OS-III platform was not supported by PolyORB-HI, PolyORB-HI was transplantedpreviously. After the controller code was generated, it was further post-processed to become a complete control program.MTE starting and above-idle component-level mathematical models were established to conduct digital simulation and hardware in loop tests for generated control program. Besides, bench testswerealso carried on.The test results showed that the control program can work effectively.