Section: Overall Objectives

Introduction

Amazones is a research team hosted at the CITI laboratory, at INSA Lyon. It is attached to the Grenoble Rhônes-Alpes INRIA Center. The team is set-up from a split of the Ares project, and is dedicated to ambient middleware environments.

The proposed goal of Amazones, as presented in the initial document, is to bring dynamic SOA paradigms to ambient environments. Ambient environments deal with constrained devices such as wireless sensors or gateways in which fast decision making with limited resources are real issues.

Merging together dynamic service-orientation and constrained devices needs to rely on an intermediate mapping layer that offers two fundamental features.

On one side, an approach based on formal methods is needed to get guarantees that dynamic services are composable within the system and validate the good behavior, cost or energy awareness of the resulting application.

On the other side, we need system observation techniques that capture relevant data representing these good behaviors, costs or energy consumption. These observations are used to improve the system architecture since it offers concrete elements to dynamic behavior improvement.