On Schedulability Analysis for Embedded Systems with AADL Model

In order to predicate the schedulability of real-time embedded system in the model design stage, a new schedulability analysis method for embedded system models using Architecture Analysis and Design Language (AADL) is presented in this paper. Through analyzing system architecture, component properties and component connections, we build the Resource Competition Model (RCM) for the AADL model. Based on the RCM, the respond time of thread components can be calculated, and we get the schedulability of system AADL model. This approach is on the model level to analyze the schedulability of systems without code implement. It has higher calculation efficiency, and a lower requirement for the system description. At last, a case-study is carried out to show the schedulability analysis process for an AADL model.