Skip to main content
SpringerLink
Log in

Basic Principles for Software Specification

Introduction to Subject Area Reference Case Study Production Automation

  • Chapter
Integration of Software Specification Techniques for Applications in Engineering

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3147))

Abstract

The applicability of the integrated techniques and methods, which are developed within the DFG priority program Software Specifications, is shown by means of two reference case studies, that describe typical systems from engineering point of view. One belongs to the area Production Automation. The characteristic aspects of process automation and the realized systems are focused in the case study, including open and closed loop control, real-time aspects as well as distribution of control functions.

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. N.N.: DFG Priority Program Software Specifications (2004), http://tfs.cs.tu-berlin.de/projekte/indspec/SPP/index-eng.html

  2. Valckenaers, P.: Challenges of Next Generation Manufacturing Systems. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 23–28. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. N.N.: DIN 4430: Informationsverarbeitung, Begriffe, Alphabetisches Gesamtverzeichnis. DIN Standard (1993)

    Google Scholar 

  4. Fischer, K., Katzke, U., Vogel-Heuser, B.: A Conceptual Design of an Engineering Model for Plant Automation based on an Application Oriented Requirements Analysis. In: SCI 2004, Orlando, Florida (2004) (accepted)

    Google Scholar 

  5. Tanenbaum, A.S., van Steen, M.: Distributed Systems. Prentice-Hall, Englewood Cliffs (2002)

    MATH  Google Scholar 

  6. Coulouris, G., Dollimore, J., Kindberg, T.: Distributed Systems. Addison-Wesley, Reading (2000)

    Google Scholar 

  7. Rembold, U., Levi, P.: Einführung in die Informatik. Hanser Verlag, München (1999)

    MATH  Google Scholar 

  8. Lauber, R., Göhner, P.: Prozessautomatisierung 2. Springer, Berlin (1999)

    Google Scholar 

  9. Ritter, A., Braatz, A., Winz, G.: Agentensysteme in der Produktion. In: Tagungsband SPS/IPC/DRIVES, Nürnberg, Hüthig (2000) 11. Fachmesse und Kongress.

    Google Scholar 

  10. Lüth, T.: Technische Multi-Agenten-Systeme: verteilte autonome Roboter- und Fertigungssysteme. Carl Hanser Verlag, München (1998)

    Google Scholar 

  11. Ritter, A.: Ein Multi-Agenten-System für mobile Einrichtungen in Produktionssystemen. PhD thesis, Universität Stuttgart, Stuttgart (2003)

    Google Scholar 

  12. Westkämper, E., et al.: Case Study Production Automation. In: Ehrig, H., et al. (eds.) INT 2000: Integration of Specification Techniques with Applications in Engineering, Berlin (2000) ISSN 1436-9915

    Google Scholar 

  13. N.N.: DFG Priority Programme Software Specifications, Subproject GRASP (2004), http://www.c-lab.de/grasp

  14. Westkämper, E., Braatz, A.: Eine Methode zur objektorientierten Spezifikation von dezentralen Automatisierungssystemen mit der Unified Modelling Language (UML). Automatisierungstechnik 49, 225–233 (2001)

    Article  Google Scholar 

  15. Braatz, A.: Entwicklung einer Methode zur objektorientierten Spezifikation von Steuerungen, Universität Stuttgart (2004) (submitted)

    Google Scholar 

  16. N.N.: Auswahl von Feldbussystemen durch Bewertung ihrer Leistungseigenschaften für industrielle Anwendungsbereiche. VDI-Richtlinie 3687. Beuth-Verlag, Berlin (1999)

    Google Scholar 

  17. N.N.: Lasten-/Pflichtenheft für den Einsatz von Automatisierungssystemen. VDIRichtlinie 3694. Beuth-Verlag, Berlin (1991)

    Google Scholar 

  18. Scherff, B., et al.: Feldbussysteme in der Praxis – Ein Leitfaden für den Anwender. Springer, Heidelberg (1999)

    Google Scholar 

  19. Hoang, S.H., Rieger, P.: Komponentenbasierte Automatisierungssoftware. Hanser Verlag, München (1999)

    Google Scholar 

  20. Krüger, I., Prenninger, W., Sandner, R., Broy, M.: Development of Hierarchical Broadcasting Software Using UML 2.0. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 29–47. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  21. Koestler, A.: The Ghost in the Machine. Arkana Books, London (1989)

    Google Scholar 

  22. Ritter, A., Baum, W., Höpf, M., Westkämper, E.: Agentification for Production Systems. In: INT 2002, Grenoble (2002)

    Google Scholar 

  23. Höpf, M., Schaeffer, C., Westkämper, E.: Holonic Manufacturing Systems. In: Entwicklung und Betrieb komplexer Automatisierungssysteme. Institut für Regelungs- und Automatisierungstechnik, Braunschweig, pp. 127–137 (1997)

    Google Scholar 

  24. Struger, O.: Wir stecken in einer Innovationslawine – Tendenzen in der Automatisierungstechnik. Elektrotechnik für die Automatisierung 3, 18 (1995)

    Google Scholar 

  25. Klein, M., Braatz, B., Schröter, G., Bengel, M.: A Formal Component Concept for the Specification of Industrial Control Systems. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 69–88. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  26. Fischer, K., Göhner, P., Gutbrodt, F., Vogel-Heuser, B.: Conceptual Design of an Engineering Model for Plant Automation. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 301–321. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  27. N.N.: Automation and Process Control Engineering (LFA), University of Wuppertal, Germany (2004), http://www.lfa.uni-wuppertal.de

  28. N.N.: DFG Priority Programme Software Specifications, Subproject IOSIP (2004), http://tfs.cs.tu-berlin.de/projekte/indspec/SPP/iosip.html

  29. N.N.: DFG Priority Programme Software Specifications, Subproject DisPA (2004), http://www.lfa.uni-wuppertal.de/DisPA

  30. Schäfer, W., Gausemeier, J., Wagner, R., Eckes, R.: An Engineer’s Workstation to support Integrated Development of Flexible Production Control Systems. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 48–68. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Industrial Manufacturing and Management (IFF), University of Stuttgart, Nobelstrasse 12, D-70569, Stuttgart, Germany

    Engelbert Westkämper & Matthias Bengel

  2. Chair of Automation and Process Control Engineering (LFA), University of Wuppertal, Rainer-Gruenter-Strasse 21, D-42119, Wuppertal, Germany

    Katja Fischer

Authors
  1. Engelbert Westkämper
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Bengel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Katja Fischer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität Berlin, Germany

    Hartmut Ehrig

  2. OFFIS e.V., Escherweg 2, 26121, Oldenburg, Germany

    Werner Damm

  3. Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    Jörg Desel

  4. Fraunhofer ISST Berlin, Germany

    Martin Große-Rhode

  5. Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg, 86135, Augsburg, Germany

    Wolfgang Reif

  6. Institute for Traffic Safety and Automation Engineering, Technical University of Braunschweig, Braunschweig, Germany

    Eckehard Schnieder

  7. Institute of Industrial Manufacturing and Management (IFF), University of Stuttgart, Nobelstrasse 12, D-70569, Stuttgart, Germany

    Engelbert Westkämper

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Westkämper, E., Bengel, M., Fischer, K. (2004). Basic Principles for Software Specification. In: Ehrig, H., et al. Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, vol 3147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27863-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27863-4_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23135-6

  • Online ISBN: 978-3-540-27863-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation