Resource Management for Pervasive Systems

Jacky Estublier 1, * German Vega 2, * Elmehdi Damou 3
* Corresponding author
1 LIG Laboratoire d'Informatique de Grenoble - ADELE
LIG - Laboratoire d'Informatique de Grenoble
2 ADELE, VASCO
LIG - Laboratoire d'Informatique de Grenoble
Abstract : In pervasive contexts, many different applications, from different providers, will compete for access to resources: physical resources like sensors and actioners, as well as for software resources (services). Sensors provide in-formation about the state of the world, and actioners change the world which can put goods and persons at risk. At least for safety reasons, it is critical to closely control, at any point in time, and in all circumstances, which service(s) are using which resource(s).Pervasive systems face the difficult challenge of providing some safety, reli-ability and resilience properties, verified at design and compile time, while exe-cuting in many different configurations unknown statically, with dynamic ser-vices and devices, competing for resources with unknown applications and fac-ing unpredictable configuration changes. This challenge can be seen from two perspectives: how to design and develop pervasive applications in such a de-manding context; how to execute these applications while satisfying the re-quirements despite the unpredictable context and changes.This paper discusses the requirements for future pervasive gateways and presents the Apam dynamic service middleware. Apam interprets at run-time a formalism describing the desirable behavior of a system, and enforces this be-havior in a very wide range of unplanned configurations while resisting the many changes that may occur.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00745330
Contributor : Vincent Lestideau <>
Submitted on : Tuesday, November 20, 2012 - 4:35:26 PM
Last modification on : Thursday, February 7, 2019 - 5:13:00 PM
Document(s) archivé(s) le : Thursday, February 21, 2013 - 10:55:41 AM

File

WESOA-PervasiveConflicts2-2.pd...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00745330, version 1

Citation

Jacky Estublier, German Vega, Elmehdi Damou. Resource Management for Pervasive Systems. WESOA'12 - International Workshop on Engineering Service-Oriented Applications, Nov 2012, Shanghai, China. pp.x-x. ⟨hal-00745330⟩

Share

Metrics

Record views

296

Files downloads

158