| Full record |
| Title: | UC Contribution to D2.1: Definition of Semantic for AADL |
| Type: | Report, Study or Opinion by order |
| Where: | Deriverable D2.1 of the SPICES project |
| Date: | 2007-02 |
| Authors: |
Eduardo de las Heras
Eugenio Villar
|
| R&D Lines: |
Design and verification of HW/SW embedded systems
|
| Projects: |
ITEA 05015 SPICES
|
| ISBN: | |
| PDF File: |
|
| Abstract: | The purpose of this document is to provide a general methodology to model AADL by means of SystemC. This methodology shall be able to provide a consistent manner, in accordance with the AADL standard, to generate a SystemC model from an AADL specification . The methodology resulting from this document will lay the foundations for the development of a tool able to provide an execution environment for AADL. |
