Tool of Scheduling Simulation Based on 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 research the semantics of AADL (Architecture Analysis and Design Language) models, and design a tool named UCaS, which is integrated in OSATE (Open Source AADL Tool Environment), and can acquire information from AADL code for the schedulability analysis. Finally, this paper shows the efficiency of the UCaS and point out the direction of future work.