The Scheduling Analysis Method of Embedded Real-Time System Based on AADL-IO Annex

The embedded real-time system not only pays attention to the correctness of software task function, but also pays attention to the correctness of software task timing. There are a lot of IO resources in embedded real-time systems. The existing scheduling modeling and analysis methods are mainly aimed at tasks themself, without focusing IO resources. This paper proposes a scheduling analysis method of embedded real-time systems based on AADL-IO Annex. AADL-IO Annex is designed in two forms of meta-model and extended Backus paradigm. Scheduling analysis method of IO resources is based on time automata. Finally, a public embedded real-time system case is selected to verify the correctness and feasibility of the method in this paper. The method in this paper expands the modeling capabilities of AADL in terms of IO resources, and improves the fidelity of Scheduling analysis.