By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Passarini, R.F. ; Univ. Tecnoiegic a Fed. do Paranz (UTFPR), Parara, Brazil ; Farines, J.-M.A. ; Becker, L.B.

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.

Published in:

Software Engineering (SBES), 2012 26th Brazilian Symposium on

Date of Conference:

23-28 Sept. 2012