Skip to main content
SpringerLink
Log in

A Framework for Flexible and Dependable Service-Oriented Embedded Systems

  • Chapter
Architecting Dependable Systems VII

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6420))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. aiT. AbsInt: aiT tool homepage (2010), http://www.absint.com/ait/

  2. Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, p. 21. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  3. Assaf, A., Noyé, J.: Dynamic AspectJ. In: Proceedings of the 2008 symposium on Dynamic Languages (DLS 2008), pp. 1–12 (2008)

    Google Scholar 

  4. Bisbal, J., Cheng, B.H.C.: Resource-based approach to feature interaction in adaptive software. In. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-managed Systems, WOSS 2004, pp. 23–27. ACM, New York (2004)

    Chapter  Google Scholar 

  5. Tidorum, B.-T.: Bound-T tool homepage (2009), http://www.tidorum.fi/bound-t

  6. Brennan, S., Cahill, V., Clarke, S.: Applying non-constant volatility analysis methods to software timeliness. In: Proceedings of the 12th Euromicro Conference on Real-Time Systems, Work-in-progress Session (2009)

    Google Scholar 

  7. Brinkschulte, U., Schneider, E., Picioroaga, F.: Dynamic real-time reconfiguration in distributed systems: Timing issues and solutions. In: ISORC 2005: Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005 (2005)

    Google Scholar 

  8. Calder, M., Miller, A.: Using SPIN for feature interaction analysis - A case study. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol. 2057, pp. 143–162. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  9. Carton, A., Driver, C., Jackson, A., Clarke, S.: Model-driven Theme/UML. Transactions on Aspect-Oriented Software Development, 428–432 (2009)

    Google Scholar 

  10. Cottenier, T.: The motorola weavr: Model weaving in a large industrial context. In: Proceedings of the International Conference on Aspect Oriented Software Development, Industry Track (2006)

    Google Scholar 

  11. Didonet Del Fabro, M., Bézivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: a generic model weaver. Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2005), 105–114 (2005), 2-7261-1284-6

    Google Scholar 

  12. Driver, C., Reilly, S., Linehan, E., Cahill, V., Clarke, S.: Managing embedded systems complexity with aspect-oriented model-driven engineering. ACM Transactions on Embedded Computing Systems (TECS) (to appear, 2010)

    Google Scholar 

  13. Edgar, S.: Estimation of worst-case execution time using statistical analysis, PhD thesis. PhD thesis, Department of Computer Science, University of York (2002)

    Google Scholar 

  14. Felty, A.P., Namjoshi, K.S.: Feature specification and automated conflict detection. ACM Transactions on Software Engineering and Methodology 12(1), 3–27 (2003)

    Article  Google Scholar 

  15. France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing support for model composition in metamodels. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, Washington, DC, USA, p. 253. IEEE Computer Society, Los Alamitos (2007)

    Chapter  Google Scholar 

  16. Galpin, D., Driver, C., Clarke, S.: Modelling hardware verification concerns specified in the e language: An experience report. In: Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD), Industry Track, pp. 207–212 (2009)

    Google Scholar 

  17. Groher, I., Voelter, M.: XWeave: models and aspects in concert. In: Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, AOM 2007, pp. 35–40. ACM Press, New York (2007)

    Chapter  Google Scholar 

  18. Hansen, J., Hissam, S., Moreno, G.: Statistical-Based WCET Estimation and Validation. In: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009), pp. 123–133 (2009)

    Google Scholar 

  19. Hissam, S., Ivers, J.: Prediction-Enabled Component Technology (PECT) Infrastructure: A Rough Sketch. Technical Report CMU/SEI-2002-TN-033, Software Engineering Institute, Carnegie-Mellon University (2002)

    Google Scholar 

  20. Hovsepyan, A., Baelen, S.V., Vanhooff, B., Joosen, W., Berbers, Y.: Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development. In: Vassiliadis, S., Wong, S., Hämäläinen, T.D. (eds.) SAMOS 2006. LNCS, vol. 4017, pp. 49–58. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. Jayaraman, P.K., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model composition in product lines and feature interaction detection using critical pair analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 151–165. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  22. Kim, H.-C., Choi, H.-J., Ko, I.-Y.: An Architectural Model to Support Adaptive Software Systems for Sensor Networks. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), pp. 670–677 (2004)

    Google Scholar 

  23. Klein, J., Fleurey, F., Jézéquel, J.M.: Weaving multiple aspects in sequence diagrams. In: Rashid, A., Aksit, M. (eds.) Transactions on AOSD III. LNCS, vol. 4620, pp. 167–199. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  24. Klus, H., Niebuhr, D., Rausch, A.: A component model for dynamic adaptive systems. In: International Workshop on Engineering of Software Services for Pervasive Environments, ESSPE 2007, pp. 21–28. ACM, New York (2007)

    Google Scholar 

  25. Krüger, I., Mathew, R.: Systematic development and exploration of service-oriented software architectures. In: Proceedings of Fourth Working IEEE/IFIP Conference on Software Architecture, WICSA 2004. (June 12-15), pp. 177–187 (2004)

    Google Scholar 

  26. Kumar, T., Cledat, R., Sreeram, J., Pande, S.: Statistically Analyzing Execution Variance for Soft Real-Time Applications. In: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium (ESEC/FSE 2007), pp. 529–532 (2007)

    Google Scholar 

  27. Lampert, A., Koenig, S.: Configuration management in a heterogeneous target environment. In: Proceedings of Third Israel Conference on Computer Systems and Software Engineering, June 6-7, pp. 148–158 (1988)

    Google Scholar 

  28. Linehan, E., Clarke, S.: Managing hardware verification complexity with aspect-oriented model-driven engineering. In: Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design (M-BED), pp. 54–60 (2010)

    Google Scholar 

  29. Liu, Y., Meier, R.: Feature Interaction in Pervasive Computing Systems. Electronic Communications of the EASST Journal 11, 1–7 (2008)

    MATH  Google Scholar 

  30. Liu, Y., Meier, R.: Resource-aware contracts for addressing feature interaction in dynamic adaptive systems. In: Proceedings of the 2009 Fifth International Conference on Autonomic and Autonomous Systems, ICAS 2009, Washington, DC, USA, pp. 346–350. IEEE Computer Society, Los Alamitos (2009)

    Chapter  Google Scholar 

  31. Mitchell, S., Naguib, H., Coulouris, G., Kindberg, T.: Dynamically reconfiguring multimedia components: a model-based approach. In: Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, EW 1998, pp. 40–47. ACM, New York (1998)

    Chapter  Google Scholar 

  32. I.Object Management Group. Marte specification beta 2 2008), http://www.omgmarte.org/Documents/Specifications/08-06-09.pdf

  33. Rasche, A., Polze, A.: Dynamic reconfiguration of component-based real-time software. In: Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 (2005)

    Google Scholar 

  34. Reddy, Y.R., Ghosh, S., France, R.B., Straw, G., Bieman, J.M., McEachen, N., Song, E., Georg, G.: Directives for Composing Aspect-Oriented Design Class Models. pp. 75–105 (2006)

    Google Scholar 

  35. Reiff-Marganiec, S.: Runtime Resolution of Feature Interactions in Evolving Telecommunications Systems. PhD thesis, University of Glasgow (2002)

    Google Scholar 

  36. Schneider, E., Picioroagǎ, F., Brinkschulte, U.: Dynamic reconfiguration through osa+, a real-time middleware. In: Proceedings of the 1st International Doctoral Symposium on Middleware, DSM 2004, pp. 319–323. ACM, New York (2004)

    Chapter  Google Scholar 

  37. Sharma, P.K., Loyall, J.P., Heineman, G.T., Schantz, R.E., Shapiro, R., Duzan, G.: Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems. In: International Symposium on Distributed Objects and Applications, DOA (2004)

    Google Scholar 

  38. Souyris, J., Pavec, E.L., Himbert, G., Jégu, V., Borios, G.: Computing the worst case execution time of an avionics program by abstract interpretation. In: Proceedings of the 5th Intl Workshop on Worst-Case Execution Time Analysis (WCET 2005), pp. 21–24 (2005)

    Google Scholar 

  39. Stewart, D., Volpe, R., Khosla, P.: Design of dynamically reconfigurable real-time software using port-based objects. IEEE Trans. Softw. Eng. 23(12), 759–776 (1997)

    Article  Google Scholar 

  40. Thiel, S., Hein, A.: Modeling and using product line variability in automotive systems. IEEE Software 19, 66–72 (2002)

    Article  Google Scholar 

  41. Wehrmeister, M.A., Freitas, E.P., Pereira, C.E., Wagner, F.R.: An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing SORC 007, Washington, DC, USA, pp. 428–432. IEEE Computer Society, Los Alamitos (2007)

    Chapter  Google Scholar 

  42. Wermelinger, M.: A hierarchic architecture model for dynamic reconfiguration. In: Proceedings of the Second International Workshop on Software Engineering for Parallel and Distributed Systems, pp. 243–254. IEEE Computer Society, Los Alamitos (1997)

    Chapter  Google Scholar 

  43. Zhao, Z., Li, W.: Influence control for dynamic reconfiguration. In: Australian Software Engineering Conference, pp. 59–70 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lero - The Irish Software Engineering Research Centre, Distributed Systems Group, School of Computer Science and Statistics, Trinity College, Dublin, Ireland

    Shane Brennan, Serena Fritsch, Yu Liu, Ashley Sterritt, Jorge Fox, Éamonn Linehan, Cormac Driver, René Meier, Vinny Cahill, William Harrison & Siobhán Clarke

Authors
  1. Shane Brennan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Serena Fritsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yu Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ashley Sterritt
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jorge Fox
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Éamonn Linehan
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Cormac Driver
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. René Meier
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Vinny Cahill
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. William Harrison
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Siobhán Clarke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Science, University of Lisbon, Campo Grande, Bloco C6, Piso 3, 1749-016, Lisbon, Portugal

    Antonio Casimiro

  2. School of Computing, University of Kent, CT2 7NF, Canterbury, Kent, UK

    Rogério de Lemos

  3. Centre for Software Reliability, City University, London, Northampton Square, EC1V 0HB, London, UK

    Cristina Gacek

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Brennan, S. et al. (2010). A Framework for Flexible and Dependable Service-Oriented Embedded Systems. In: Casimiro, A., de Lemos, R., Gacek, C. (eds) Architecting Dependable Systems VII. Lecture Notes in Computer Science, vol 6420. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17245-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-17245-8_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-17244-1

  • Online ISBN: 978-3-642-17245-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation