Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink

A common practice in the development of embedded systems is to create and validate a functional model before starting to design the system architecture. Tools like Scade/Lustre and Matlab/Simulink are commonly used for this purpose. While these tools provide the possibility of generating code, they are less efficient to provide a suitable architecture. This paper presents an alternative solution, which allows the generation of architectural models of embedded systems from functional models. The solution employs Model Driven Engineering (MDE) to define transformation rules from functional models created in Simulink to architecture models described in the Architecture Analysis and Design Language (AADL). This proposal is situated within the scope of a broader project, which allows the analysis and formal verification of properties from architectural models.