Embedded real-time system modeling and analysis using AADL

Embedded real-time system has requirements for nonfunctional features such as schedulability, dependability and safety. With traditional design and development methodology these nonfunctional features could only be analyzed after the system is fully implemented. Architecture Analysis and Design Language (AADL) is a modeling language that supports early and repeated analyses of a system's architecture with respect to performance-critical properties through an extendable notation, a tool framework, and precisely defined semantics. AADL can be used in the analysis of partially defined architectural patterns with limited architectural detail, it is suitable for team work in large-scale system design and development. Avionic Air Data System is used as the AADL modeling and analysis study case. A basic model with software, hardware components is created. Software components are allocated to hardware components. Resource budget analysis, resource allocation analysis and end to end flow latency analysis are performed on Air Data system. Part of system model is redesigned depends on the analysis results. All these analyses are performed in the early phase of system design and development. It helps to find out issues early to save costs and reduce potential errors.