Skip to main content
SpringerLink
Log in
Book cover

Automotive Software Workshop

ASWSD 2006: Model-Driven Development of Reliable Automotive Services pp 161–181Cite as

Reusable Services and Semi-automatic Service Composition for Automotive Software

  • Conference paper

  • 588 Accesses

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

Abstract

Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of different control devices. In addition, not only a single product but a number of basic configurations and a large number of optional functions for each new type series have to be addressed by the software. While product lines are a promising approach to address known variability within a car series, the reuse of functions across type series is not feasible with the current proposals. In this paper, a service-oriented approach is sketched which exploits that functions in automotive systems only have to be recombined in a restricted manner in order to enable reuse across car series. Components are used as basic units which provide localized basis functionality, patterns represent reusable assets which capture the interaction and protocols in between several roles, and services capture complex reusable functionality which requires the interaction of multiple units. It is sketched how all phases of the development process can benefit from a service-oriented approach and that advanced synthesis techniques can be employed to reuse the components, patterns and services and compose them with only minimal manual efforts.

This work was developed in the course of the Special Research Initiative 614 – Self-optimizing Concepts and Structures in Mechanical Engineering – University of Paderborn, and was published on its behalf and funded by the Deutsche Forschungsgemeinschaft.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Grimm, K.: Software technology in an automotive company: major challenges. In: ICSE 2003: Proceedings of the 25th International Conference on Software Engineering, Washington, DC, USA, pp. 498–503. IEEE Computer Society, Los Alamitos (2003)

    Google Scholar 

  2. Hardung, B., Kölzow, T., Krüger, A.: Reuse of software in distributed embedded automotive systems. In: EMSOFT 2004: Proceedings of the 4th ACM international conference on Embedded software, pp. 203–210. ACM Press, New York (2004)

    Chapter  Google Scholar 

  3. Weber, M., Weisbrod, J.: Requirements engineering in automotive development: Experiences and challenges. IEEE Software 20, 16–24 (2003)

    Article  Google Scholar 

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

    Article  Google Scholar 

  5. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11), pp. 38–47. ACM Press, New York (2003)

    Chapter  Google Scholar 

  6. Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In: Informatics in Control, Automation and Robotics, Springer, Heidelberg (2006)

    Google Scholar 

  7. Giese, H., Burmester, S., Schäfer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: FSE 2004, pp. 179–188. ACM Press, New York (2004)

    Chapter  Google Scholar 

  8. Rosenmayr, M., Schöllmann, M., Schmidt, R.: Intelligentes energiemanagement. In: Internationaler CTI-Automobil-Technologie-Kongress AutoTec. (2005)

    Google Scholar 

  9. Szyperski, C.: Component Software, Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)

    Google Scholar 

  10. Giese, H.: Towards Scenario-Based Synthesis for Parametric Timed Automata. In: Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), Portland, USA (ICSE 2003 Workshop 8) (2003)

    Google Scholar 

  11. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)

    Google Scholar 

  12. Buschmann, F., Meunier, R., Rohnert, H., Somerlad, P., Stal, M.: Pattern-Oriented Software Architecture - A System of Patterns, 1st edn. John Wiley & Sons, Inc, Chichester (1996)

    Google Scholar 

  13. Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology 1 (1997)

    Google Scholar 

  14. Deubler, M., Meisinger, M., Rittmann, S., Krüger, I.: Modeling Crosscutting Services with UML Sequence Diagrams. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 522–536. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Krüger, I.H., Mathew, R.: Component Synthesis from Service Specifications. In: Leue, S., Systä, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, pp. 255–277. Springer, Heidelberg (2005)

    Google Scholar 

  16. Giese, H.: A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems. Technical Report tr-ri-03-240, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland (2003)

    Google Scholar 

  17. Hestermeyer, T., Oberschelp, O., Giese, H.: Structured Information Processing For Self-optimizing Mechatronic Systems. In: Araujo, H., Vieira, A., Braz, J., Encarnacao, B., Carvalho, M. (eds.) Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 230–237. INSTICC Press (2004)

    Google Scholar 

  18. Giese, H., Vilbig, A.: Separation of Non-Orthogonal Concerns in Software Architecture and Design. In: Software and System Modeling (SoSyM), pp. 136–169 (2006)

    Google Scholar 

  19. Seibel, A.: Behavioral synthesis of potential component real-time behavior. Master’s thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany (2007)

    Google Scholar 

  20. Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming 2, 241–266 (1982)

    Article  MATH  Google Scholar 

  21. Giese, H., Hirsch, M.: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 67–78. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Giese, H., Schilling, D., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the compositional verification of real-time uml designs. Technical Report tr-ri-03-241, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland (2003)

    Google Scholar 

  23. Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons, Inc., Chichester (1994)

    MATH  Google Scholar 

  24. de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 109–120. ACM Press, New York (2001)

    Chapter  Google Scholar 

  25. Krüger, I.H., Nelson, E., Prasad, K.V.: Service-based software development for automotive applications. In: Proceedings of Convergence (2004)

    Google Scholar 

  26. Krüger, I.: Service-oriented software and systems engineering - a vision for the automotive domain. In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005). Proceedings, Verona, Italy, July 11-14, 2005, p. 150. IEEE, Los Alamitos (2005)

    Chapter  Google Scholar 

  27. Krüger, I.H., Mathew, R., Meisinger, M.: Efficient exploration of service-oriented architectures using aspects. In: ICSE 2006: Proceeding of the 28th international conference on Software engineering, pp. 62–71. ACM Press, New York (2006)

    Chapter  Google Scholar 

  28. Giese, H., Hirsch, M.: Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML. Technical Report tr-ri-03-266, University of Paderborn, Paderborn, Germany (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hasso Plattner Institute for Software Systems Engineering, at the University of Potsdam, Prof.-Dr.-Helmert-Str. 2-3, D-14482, Potsdam, Germany

    Holger Giese

Authors
  1. Holger Giese
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Manfred Broy Ingolf H. Krüger Michael Meisinger

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giese, H. (2008). Reusable Services and Semi-automatic Service Composition for Automotive Software. In: Broy, M., Krüger, I.H., Meisinger, M. (eds) Model-Driven Development of Reliable Automotive Services. ASWSD 2006. Lecture Notes in Computer Science, vol 4922. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70930-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-70930-5_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70929-9

  • Online ISBN: 978-3-540-70930-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation