Architecture-Level Schedulability Analysis with IO Constraint using AADL

The rapid development of network communication technology and the integration of several independent systems together led to the emergence of large-scale complex software systems, called system of systems (SoS). With the increasing complexity of the interaction between system and resource allocation, it is necessary to analyze the schedulability of resource-constrained systems from architecture level. System resources would affect the schedulability of the system, and if system resources are not configured correctly, the task set may not be scheduled due to competing resources. This paper proposes an architecture-level schedulability analysis method based on IO constrained AADL model. At first, we extended and created the IO Resource Model Annex (IOMA) to describe the use of IO resources in the system to make up for the lack of AADL description capability. Then a schedulability analysis method of the AADL architecture model under IO resource constraints is proposed. The core idea of this method is to transform the AADL architecture model containing IO resource model into a timed automaton. The constraints of IO resources and scheduling-related attributes in the architecture model are expressed as the transition conditions and time constraints of the timed automaton. A case study on a civil airborne system has been employed to demonstrate the feasibility of our proposed approach.