HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Resource Management for Pervasive Systems

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
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00745330
Contributor : Vincent Lestideau Connect in order to contact the contributor
Submitted on : Tuesday, November 20, 2012 - 4:35:26 PM
Last modification on : Thursday, October 21, 2021 - 3:47:21 AM
Long-term archiving on: : 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

164

Files downloads

195