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 Mon 15-Jul-24 . 04:55

Web Map



Santander Info

   Full record
Title:Methodology for Specification of Adaptivity
Type:Report, Study or Opinion by order
Where:Deliverable D1.1a of the IST 5-033511 ANDRES Project
Authors: Fernando Herrera
Eugenio Villar
Cristoph Grimm (TUV)
Ingo Sanders (KTH)
Axel Jantsch (KTH)
R&D Lines: Design and verification of HW/SW embedded systems
Projects: IST 033511 ANDRES
PDF File:
Abstract:Adaptivity is a common concept used in embedded system and custom hardware design for many years. Reconfigurable FPGAs, embedded software, configurable datapaths and parameterisable analog components are all familiar examples of adaptivity. We use the term to denote the general, abstract concept of changing the behaviour of a system at run-time which encompasses software, configurable or parameterisable digital and analog hardware.
This report describes concepts for modelling adaptivity in an abstract way to make relevant and interesting properties of adaptive systems explicit. The type and level of adaptivity is an important design consideration in many systems and it should be possible for the designer to systematically explore the design space with adaptivity being one more design parameter just like performance, cost and power consumption.
In order to provide a sound basis that captures adaptivity in a broad and general sense we introduce adaptivity as an extension to a formal modelling framework. This will allow us to formally and systematically study adaptivity and its interesting properties and it will establish a clean and consistent conceptual basis for development of design analysis and exploration methods and tools.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster