| Full record |
| Title: | Specification for SystemC-AADL interoperability |
| Type: | International Conference |
| Where: | IEEE Proceedings of the 5th International Workshop on Intelligent Solutions in Embedded Systems (WISES’07) |
| Date: | 2007-06 |
| Authors: |
Eduardo de las Heras
Eugenio Villar
|
| R&D Lines: |
Design and verification of HW/SW embedded systems
|
| Projects: |
ITEA 05015 SPICES
|
| ISBN: | 978-84-89315-47- |
| PDF File: | see file
|
| Abstract: | In this paper, the specification for modeling AADL by means of SystemC is provided. The SystemC model will enable the refinement of the AADL specification until the final implementation is developed. The information about the system obtained during the refinement process will feedback the AADL model allowing the verification of high-level constraints during the complete design process. |
