Web Map
Location
News
Santander Info
|
| GIM>Research>Publication |
| PUBLICATION |
| |
| Full record |
| Title: | Code generation and co-verification of embedded systems with SystemC |
| Type: | Report, Study or Opinion by order |
| Where: | Deliverable D3.3 of the FP7-216807 SATURN Project |
| Date: | 2009-06 |
| Authors: |
Pablo Peñil
Eugenio Villar
et al.
|
| R&D Lines: |
|
| Projects: |
|
| ISBN: | |
| PDF File: |
|
| Abstract: |
The deliverable outlines the first increment of the SATURN UML profile for SystemC/C++ comodeling and cosynthesis. The profile and the code generation is defined and implemented for Artisan Studio. Relationsships to MARTE and a first approach to the behavioral semantics are defined in the second part for proven code generation.
Summary
|
|
|
