Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Thu 18-Jul-24 . 17:20

Web Map



Santander Info

   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
Authors: Fernando Herrera
Eugenio Villar
R&D Lines: Design and verification of HW/SW embedded systems
Projects: IST 033511 ANDRES
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.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster