Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems

Early analysis and verification of a critical embedded system requires a precise platform specific model (PSM) of the whole system. On the other hand, to master the complexity of large complex critical distributed real-time and embedded systems (DRES), a component-oriented approach is adopted, which entails a higher-level of structural modeling. This contribution presents some AADL usage guidelines for component based systems, and details model transformation rules to obtain PSM also in AADL. The approach is based on automatic model composition from component-based architecture diagrams, and allows to take into account separation of concerns in the platform-level system design.