| PUBLICATION |
| 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|
Cristoph Grimm (TUV)
Ingo Sanders (KTH)
Axel Jantsch (KTH)
Design and verification of HW/SW embedded systems
IST 033511 ANDRES
|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.