A model-driven approach to develop adaptive firmwares

In a near future it is expected that most things we rely on in our everyday life will contain sensors and electronic based information, have computing power, run embedded software and connect to networks. A multitude of heterogeneous things will operate in a highly dynamic environment and will collaborate with other connected systems and things to provide users with adaptable services. Constructing and controlling such adaptive things is complex. A main challenge is to cope with the dynamicity which requires the things to autonomously adapt to various execution contexts. In this paper we present an approach to develop adaptive firmwares for devices which do not have the resources to rely on advanced operating systems, middlewares or frameworks to support runtime adaptation. The paper is illustrated with the example of an adaptive temperature sensor network running on a microcontroller platform.

[1]  Jacques Klein,et al.  Flexible model element introduction policies for aspect-oriented modeling , 2010, MODELS'10.

[2]  Mehrdad Sabetzadeh,et al.  Matching and Merging of Statecharts Specifications , 2007, 29th International Conference on Software Engineering (ICSE'07).

[3]  Betty H. C. Cheng,et al.  Model-based development of dynamically adaptive software , 2006, ICSE.

[4]  Ji Zhang,et al.  Using temporal logic to specify adaptive program semantics , 2006, J. Syst. Softw..

[5]  Brice Morin,et al.  Leveraging Models from Design-time to Runtime to Support Dynamic Variability. (Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique) , 2010 .

[6]  Brice Morin,et al.  Models@ Run.time to Support Dynamic Adaptation , 2009, Computer.

[7]  Brice Morin,et al.  Taming Dynamically Adaptive Systems using models and aspects , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[8]  Thomas Cottenier.  The Motorola WEAVR : Model Weaving in a Large Industrial Context , 2006 .

[9]  Kenneth A. Loparo,et al.  The nature of modeling , 1989 .

[10]  Jacques Klein,et al.  Semantic-based weaving of scenarios , 2006, AOSD.

[11]  Nelly Bencomo,et al.  Supporting the modelling and generation of reflective middleware families and applications using dynamic variability , 2008 .

[12]  Sooyong Park,et al.  Dynamic Software Product Lines , 2008, Computer.

[13]  Morris Sloman,et al.  Starfish: policy driven self-management in wireless sensor networks , 2010, SEAMS '10.

[14]  Olivier Barais,et al.  Matching model-snippets , 2007, MODELS'07.

[15]  Franck Fleurey,et al.  A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems , 2009, MoDELS.

[16]  Jean-Marc Jézéquel,et al.  Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.