An approach based on runtime models for developing dynamically adaptive systems

Abstract We propose an approach based on runtime models and Aspect Oriented Software Development for modeling and implementing dynamically adaptive systems. Such system requires specific modeling formalisms to support the definition of the monitoring and reconfiguration modules at an abstract level. The verification of the consistency during the reconfiguration is also an essential and primordial task in the development process of dynamically adaptive systems. In addition, a middleware that enables to perform the dynamic reconfiguration during execution should be implemented. Our proposed approach addresses these requirements: It enables specifying dynamically adaptive systems using AADL and AO4AADL and verifying the integrity of the system at any time of its life cycle even at runtime based on a set of architectural patterns. Our approach uses the Aspect Oriented Software Development to ensure the monitoring of the system and perform the reconfiguration through a set of routines developed in our middleware.

[1]  Ismael Bouassida Rodriguez,et al.  Threshold‐based context analysis approach for ubiquitous systems , 2015, Concurr. Comput. Pract. Exp..

[2]  Laurent Pautet,et al.  Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications , 2009, Ada-Europe.

[3]  Mohamed Jmaiel,et al.  Towards a Model-Based Approach for Reconfigurable DRE Systems , 2011, ECSA.

[4]  Fabienne Boyer,et al.  Robust reconfigurations of component assemblies , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[5]  Daniel Jackson,et al.  Some Shortcomings of OCL, the Object Constraint Language of UML , 2000, TOOLS.

[6]  Bradley R. Schmerl,et al.  Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure , 2004, Computer.

[7]  Kurt Geihs,et al.  Playing MUSIC — building context‐aware and self‐adaptive mobile applications , 2013, Softw. Pract. Exp..

[8]  Mohamed Jmaiel,et al.  QoS Monitoring and Analysis Approach for Publish/Subscribe Systems Deployed on MANET , 2012, 2012 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing.

[9]  Achim D. Brucker,et al.  Model-Driven Constraint Engineering , 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[10]  Slim Kallel,et al.  Toward an Aspect Oriented ADL for Embedded Systems , 2010, ECSA.

[11]  David Garlan,et al.  Stitch: A language for architecture-based self-adaptation , 2012, J. Syst. Softw..

[12]  Mahdi Derakhshanmanesh,et al.  Achieving dynamic adaptation via management and interpretation of runtime models , 2012, J. Syst. Softw..

[13]  David Garlan,et al.  Rainbow: cost-effective software architecture-based self-adaptation , 2008 .

[14]  Slim Kallel,et al.  Middleware for Dynamically Adaptive Systems , 2014, ARCS.

[15]  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 .

[16]  Bradley R. Schmerl,et al.  Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , 2010, Software Engineering for Self-Adaptive Systems.

[17]  Frank Eliassen,et al.  A development framework and methodology for self-adapting applications in ubiquitous computing environments , 2012, J. Syst. Softw..

[18]  David Garlan,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .

[19]  Kurt Geihs,et al.  The user in the loop: Enabling user participation for self-adaptive applications , 2014, Future Gener. Comput. Syst..

[20]  Mauro Iacono,et al.  Improving reliability and performances in large scale distributed applications with erasure codes and replication , 2016, Future Gener. Comput. Syst..

[21]  Slim Kallel,et al.  AO4AADL: Aspect oriented extension for AADL , 2013, Central European Journal of Computer Science.

[22]  Valerio Schiavoni,et al.  A component‐based middleware platform for reconfigurable service‐oriented architectures , 2012, Softw. Pract. Exp..

[23]  Slim Kallel,et al.  Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems , 2013, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications.

[24]  Flavio Oquendo,et al.  Preserving architectural pattern composition information through explicit merging operators , 2015, Future Gener. Comput. Syst..

[25]  Uwe Baumgarten,et al.  A layered interface-adaptation architecture for distributed component-based systems , 2015, Future Gener. Comput. Syst..

[26]  Ismael Bouassida Rodriguez,et al.  Towards a Novel Analysis Approach for Collaborative Ubiquitous Systems , 2012, 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

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

[28]  Salah Sadou,et al.  Software architecture constraint reuse-by-composition , 2016, Future Gener. Comput. Syst..