Web Map
Location
News
Santander Info
|
GIM>Research>Publication |
PUBLICATION |
|
Full record |
Title: | Modeling of Software. Initial Library elements |
Type: | Report, Study or Opinion by order |
Where: | Deliverable D1.2a of the IST 5-033511 ANDRES Project |
Date: | 2007-06 |
Authors: |
Fernando Herrera
Eugenio Villar
|
R&D Lines: |
Design and verification of HW/SW embedded systems
|
Projects: |
IST 033511 ANDRES
|
ISBN: | |
PDF File: |
|
Abstract: | In this document, a summary of the HetSC heterogeneous specification methodology and of its related sofware generation methodology, SWGen, is reported. A new version of HetSC (1.2), which works with SystemC-2.2.0, is reported too. Additionaly, a reflection on how adaptivity is implemented in software is provided. Once this is done, the way to specify adaptivity in HetSC is proposed, attending to the development of the formal concepts (Adaptive Processes) which have been developped in previous ANDRES reports.
|
|
|