A Framework for Flexible and Dependable Service-Oriented Embedded Systems

The continued development and deployment of distributed, real-time embedded systems technologies in recent years has resulted in a multitude of ecosystems in which service-oriented embedded systems can now be realised. Such ecosystems are often exposed to dynamic changes in user requirements, environmental conditions and network topologies that require service-oriented embedded systems to evolve at runtime. This paper presents a framework for service-oriented embedded systems that can dynamically adapt to changing conditions at runtime. Supported by model-driven development techniques, the framework facilitates lightweight dynamic service composition in embedded systems while predicting the temporal nature of unforeseen service assemblies and coping with adverse feature interactions following dynamic service composition. This minimises the complexity of evolving software where services are deployed dynamically and ultimately, enables flexible and dependable service-oriented embedded systems.

[1]  Siobhán Clarke,et al.  Applying non-constant volatility analysis methods to software timeliness. , 2009 .

[2]  Siobhán Clarke,et al.  Modelling hardware verification concerns specified in the e language: an experience report , 2009, AOSD '09.

[3]  Uwe Brinkschulte,et al.  Dynamic real-time reconfiguration in distributed systems: timing issues and solutions , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[4]  Yu Liu,et al.  Resource-Aware Contracts for Addressing Feature Interaction in Dynamic Adaptive Systems , 2009, 2009 Fifth International Conference on Autonomic and Autonomous Systems.

[5]  Santosh Pande,et al.  Statistically Analyzing Execution Variance for Soft Real-Time Applications , 2008, LCPC.

[6]  Jon Whittle,et al.  Model composition in product lines and feature interaction detection using critical pair analysis , 2007, MODELS'07.

[7]  Betty H. C. Cheng,et al.  Resource-based approach to feature interaction in adaptive software , 2004, WOSS '04.

[8]  Andreas Hein,et al.  Modeling and Using Product Line Variability in Automotive Systems , 2002, IEEE Softw..

[9]  Siobhán Clarke,et al.  Managing embedded systems complexity with aspect-oriented model-driven engineering , 2010, TECS.

[10]  David Garlan,et al.  Specifying and Analyzing Dynamic Software Architectures , 1998, FASE.

[11]  Wei Li,et al.  Influence Control for Dynamic Reconfiguration , 2007, 2007 Australian Software Engineering Conference (ASWEC'07).

[12]  Jacques Noyé,et al.  Dynamic AspectJ , 2008, DLS '08.

[13]  Michel Wermelinger.  A hierarchic architecture model for dynamic reconfiguration , 1997, Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.

[14]  Reinhold Heckmann,et al.  Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation , 2007 .

[15]  Andreas Rausch,et al.  A component model for dynamic adaptive systems , 2007, ESSPE '07.

[16]  Ingolf Krüger,et al.  Systematic development and exploration of service-oriented software architectures , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[17]  Amy P. Felty,et al.  Feature specification and automated conflict detection , 2003, TSEM.

[18]  Uwe Brinkschulte,et al.  Dynamic reconfiguration through OSA+, a real-time middleware , 2004, DSM '04.

[19]  Andreas Polze,et al.  Dynamic reconfiguration of component-based real-time software , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[20]  Wouter Joosen,et al.  Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development , 2006, SAMOS.

[21]  Siobhán Clarke,et al.  Managing hardware verification complexity with aspect-oriented model-driven engineering , 2010 .

[22]  Robert B. France,et al.  Providing Support for Model Composition in Metamodels , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[23]  Joseph P. Loyall,et al.  Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems , 2004, CoopIS/DOA/ODBASE.

[24]  Gabriel A. Moreno,et al.  Statistical-Based WCET Estimation and Validation , 2009, WCET.

[25]  A. Lampert,et al.  Configuration management in a heterogeneous target environment , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[26]  Yu Liu,et al.  Feature Interaction in Pervasive Computing Systems , 2008 .

[27]  George Coulouris,et al.  Dynamically reconfiguring multimedia components: a model-based approach , 1998, ACM SIGOPS European Workshop.

[28]  Iris Groher,et al.  XWeave: models and aspects in concert , 2007, AOM@AOSD.

[29]  Muffy Calder,et al.  Using SPIN for feature interaction analysis—a case study , 2001, SPIN '01.

[30]  Marco A. Wehrmeister,et al.  An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[31]  Robert B. France,et al.  Directives for Composing Aspect-Oriented Design Class Models , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[32]  Stephan Reiff-Marganiec,et al.  Runtime Resolution of Feature Interactions in Evolving Telecommunications Systems , 2002 .

[33]  Stewart Frederick Edgar,et al.  Estimation of worst-case execution time using statistical analysis , 2002 .

[34]  Pradeep K. Khosla,et al.  Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects , 1997, IEEE Trans. Software Eng..

[35]  Jacques Klein,et al.  Weaving Multiple Aspects in Sequence Diagrams , 2007, LNCS Trans. Aspect Oriented Softw. Dev..

[36]  Ho-Jin Choi,et al.  An architectural model to support adaptive software systems for sensor networks , 2004, 11th Asia-Pacific Software Engineering Conference.

[37]  Siobhán Clarke,et al.  Model-Driven Theme/UML , 2009, LNCS Trans. Aspect Oriented Softw. Dev..