EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services. (EnTiMid: A flexible component model to integrate smart devices in service-based applications for Ambient Assisted Living)

Les systemes logiciels tendent a se doter de facultes d'adaptation, d'evolution et d'ouverture. Ces capacites requierent une grande flexibilite et dynamicite de l'environnement d'execution, ainsi que de nouveaux outils d'assistance a la fabrication de ces systemes. En electronique, des outils ont ete deployes pour faire face a l'heterogeneite et au nombre de composants, ainsi qu'aux besoins d'adaptation de produits existants a de nouvelles technologies. L'ouverture de la documentation et des specifications a permis une grande richesse de solutions venant tant de bricoleurs que d'industriels. Inspire par l'electronique, cette these contribue a l'amelioration de la flexibilite des systemes logiciels tout en conservant un haut niveau de fiabilite. Les apports se font a trois niveaux. (1) Un nouveau modele de composants qui offre une grande flexibilite et permet la connection de composants heterogenes. (2) Des outils issus de l'ingenierie des modeles, pour creer, modifier, simuler et valider la structure et le comportement des assemblages de composants avant leur deploiement. (3) Un environnement d'execution bati sur une architecture a base de services, pour supporter les evolutions, les adaptations et l'ouverture requises par le modele de composant propose. Cette these a ete validee sur un cas concret dans un projet d'aide a domicile. Dans ce domaine, les systemes logiciels doivent etre adaptables et flexibles, pour repondre aux evolutions des besoins et pathologies des personnes âgees. Les benefices acquis de l'utilisation de cette approche dans ce contexte ont prouve la pertinence de cette these.

[1]  Mike P. Papazoglou,et al.  Service-oriented computing: concepts, characteristics and directions , 2003, Proceedings of the Fourth International Conference on Web Information Systems Engineering, 2003. WISE 2003..

[2]  Séverine Sentilles,et al.  A Classification Framework for Component Models , 2007 .

[3]  Olivier Barais,et al.  Integrating legacy systems with MDE , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[4]  Olivier Barais,et al.  Composition of Qualitative Adaptation Policies , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[5]  H. Tokuda,et al.  A Middleware Framework for Sharing Sensor Nodes among Smart Spaces , 2007, 2007 Fourth International Conference on Networked Sensing Systems.

[6]  Ralph Johnson,et al.  Connecting Business Objects to Relational Databases , 1998 .

[7]  Brice Morin,et al.  Combining aspect-oriented modeling with property-based reasoning to improve user interface adaptation , 2011, EICS '11.

[8]  D. Donsez,et al.  An Architecture Description Language for Dynamic Sensor-Based Applications , 2008, 2008 5th IEEE Consumer Communications and Networking Conference.

[9]  Manuel Jiménez Buendía,et al.  Habitation: A Domain-Specific Language for Home Automation , 2009, IEEE Software.

[10]  Carlo Ghezzi,et al.  A journey to highly dynamic, self-adaptive service-based applications , 2008, Automated Software Engineering.

[11]  Patrice Kadionik,et al.  SIP as a Universal Communication Bus: A Methodology and an Experimental Study , 2010, 2010 IEEE International Conference on Communications.

[12]  Brice Morin,et al.  F4Plan: An Approach to Build Efficient Adaptation Plans , 2010, MobiQuitous.

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

[14]  Brice Morin,et al.  Integrating IoT and IoS with a Component-Based Approach , 2010, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.

[15]  Roy H. Campbell,et al.  Olympus: A High-Level Programming Model for Pervasive Computing Environments , 2005, Third IEEE International Conference on Pervasive Computing and Communications.

[16]  Yérom-David Bromberg,et al.  Automatic Generation of Network Protocol Gateways , 2009, Middleware.

[17]  Olivier Barais,et al.  Using MDE to Build a Schizophrenic Middleware for Home/Building Automation , 2008, ServiceWave.

[18]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[19]  Jeff Magee,et al.  Self-organising software architectures for distributed systems , 2002, WOSS '02.

[20]  George Angelos Papadopoulos,et al.  Applying Utility Functions to Adaptation Planning for Home Automation Applications , 2008, ISD.

[21]  Thomas Ledoux,et al.  Reliable dynamic reconfigurations in the fractal component model , 2007, ARM '07.

[22]  Damien Cassou,et al.  Leveraging software architectures to guide and verify the development of sense/compute/control applications , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[23]  Kevin Lee,et al.  OpenCOM v2: A Component Model for Building Systems Software , 2004 .

[24]  Antoine Beugnard,et al.  How to Implement Software Connectors? A Reusable, Abstract and Adaptable Connector , 2005, DAIS.

[25]  Birgitta König-Ries,et al.  openAAL 1the open source middleware for ambient-assisted living ( AAL ) , 2010 .

[26]  Vicente Pelechano,et al.  Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes , 2009, Computer.

[27]  Vicente Pelechano,et al.  Applying a Model-Driven Method to the Development of a Pervasive Meeting Room , 2006 .

[28]  Romain Rouvoy,et al.  Leveraging component-based software engineering with Fraclet , 2009, Ann. des Télécommunications.

[29]  David Hausheer,et al.  Towards the Future Internet - A European Research Perspective , 2009, Future Internet Assembly.

[30]  Frank Eliassen,et al.  RESTful integration of heterogeneous devices in pervasive environments , 2010, DAIS'10.

[31]  Vicente Pelechano,et al.  Tool Support for Model Driven Development of Pervasive Systems , 2007, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07).

[32]  Michel Riveill,et al.  WComp middleware for ubiquitous computing: Aspects and composite event-based Web services , 2009, Ann. des Télécommunications.

[33]  Romain Rouvoy,et al.  Supporting Pervasive and Social Communications with FRASCATI , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[34]  Jean-Marc Jézéquel,et al.  Dynamic Software Product Lines for Service-Based Systems , 2009, 2009 Ninth IEEE International Conference on Computer and Information Technology.

[35]  Daniel J. Dubois,et al.  Self-organization algorithms for autonomic systems in the SelfLet approach , 2007, Autonomics.

[36]  Jeffrey Soar,et al.  Intelligent Technologies for Bridging the Grey Digital Divide , 2010 .

[37]  Mary Shaw,et al.  The state of the art in end-user software engineering , 2011, ACM Comput. Surv..

[38]  Jeff Magee,et al.  The Koala Component Model for Consumer Electronics Software , 2000, Computer.

[39]  Thierry Coupaye,et al.  The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems , 2006 .

[40]  Gilad Bracha.  Pluggable Type Systems , 2004 .

[41]  Olivier Barais,et al.  EnTiMid: un middleware au service de la maison , 2009, CAL.

[42]  A. Jefferson Offutt,et al.  Automatically detecting equivalent mutants and infeasible paths , 1997 .

[43]  Michel Riveill,et al.  WComp, a Middleware for Ubiquitous Computing , 2011 .

[44]  J. Mendel.  Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions , 2001 .

[45]  Vicente Pelechano,et al.  Supporting Runtime System Evolution to Adapt to User Behaviour , 2010, CAiSE.

[46]  Dimitrios D. Vergados,et al.  Intelligent services for assisting independent living of elderly people at home , 2008, PETRA '08.

[47]  Richard S. Hall,et al.  Autonomous adaptation to dynamic availability using a service-oriented component model , 2004, Proceedings. 26th International Conference on Software Engineering.

[48]  Xavier Bosch,et al.  barcelona Investigating the reasons for Spain's falling birth rate , 1998, The Lancet.

[49]  Artem Katasonov,et al.  Challenges of Middleware for the Internet of Things , 2009 .

[50]  Richard S. Hall,et al.  iPOJO: an Extensible Service-Oriented Component Framework , 2007, IEEE International Conference on Services Computing (SCC 2007).

[51]  Damien Cassou,et al.  A tool suite to prototype pervasive computing applications , 2010, 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops).

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

[53]  Klara Nahrstedt,et al.  Gaia: A Middleware Infrastructure to Enable Active Spaces1 , 2002 .

[54]  Daniel Antonius,et al.  Terrorism and Fear , 2012 .

[55]  Dominique L. Scapin,et al.  Ergonomic criteria for the evaluation of human-computer interfaces , 1993 .

[56]  Vicente Pelechano,et al.  Applying Software Factories to Pervasive Systems: A Platform Specific Framework , 2006, ICEIS.

[57]  Brice Morin,et al.  Leveraging Models From Design-time to Runtime. A Live Demo , 2009 .

[58]  Silvana Quaglini,et al.  Architectures and tools for innovative Health Information Systems: The Guide Project , 2005, Int. J. Medical Informatics.

[59]  Laurence Tratt,et al.  Dynamically Typed Languages , 2009, Adv. Comput..

[60]  Romain Rouvoy,et al.  An SCA-based Approach for Social and Pervasive Communications in Home Environments , 2011, Sci. Ann. Comput. Sci..

[61]  François Jammes,et al.  Service-Oriented Device Communications Using the Devices Profile for Web services , 2007, AINA Workshops.