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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
N.N.: DFG Priority Program Software Specifications (2004), http://tfs.cs.tu-berlin.de/projekte/indspec/SPP/index-eng.html
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)
N.N.: DIN 4430: Informationsverarbeitung, Begriffe, Alphabetisches Gesamtverzeichnis. DIN Standard (1993)
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)
Tanenbaum, A.S., van Steen, M.: Distributed Systems. Prentice-Hall, Englewood Cliffs (2002)
Coulouris, G., Dollimore, J., Kindberg, T.: Distributed Systems. Addison-Wesley, Reading (2000)
Rembold, U., Levi, P.: Einführung in die Informatik. Hanser Verlag, München (1999)
Lauber, R., Göhner, P.: Prozessautomatisierung 2. Springer, Berlin (1999)
Ritter, A., Braatz, A., Winz, G.: Agentensysteme in der Produktion. In: Tagungsband SPS/IPC/DRIVES, Nürnberg, Hüthig (2000) 11. Fachmesse und Kongress.
Lüth, T.: Technische Multi-Agenten-Systeme: verteilte autonome Roboter- und Fertigungssysteme. Carl Hanser Verlag, München (1998)
Ritter, A.: Ein Multi-Agenten-System für mobile Einrichtungen in Produktionssystemen. PhD thesis, Universität Stuttgart, Stuttgart (2003)
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
N.N.: DFG Priority Programme Software Specifications, Subproject GRASP (2004), http://www.c-lab.de/grasp
Westkämper, E., Braatz, A.: Eine Methode zur objektorientierten Spezifikation von dezentralen Automatisierungssystemen mit der Unified Modelling Language (UML). Automatisierungstechnik 49, 225–233 (2001)
Braatz, A.: Entwicklung einer Methode zur objektorientierten Spezifikation von Steuerungen, Universität Stuttgart (2004) (submitted)
N.N.: Auswahl von Feldbussystemen durch Bewertung ihrer Leistungseigenschaften für industrielle Anwendungsbereiche. VDI-Richtlinie 3687. Beuth-Verlag, Berlin (1999)
N.N.: Lasten-/Pflichtenheft für den Einsatz von Automatisierungssystemen. VDIRichtlinie 3694. Beuth-Verlag, Berlin (1991)
Scherff, B., et al.: Feldbussysteme in der Praxis – Ein Leitfaden für den Anwender. Springer, Heidelberg (1999)
Hoang, S.H., Rieger, P.: Komponentenbasierte Automatisierungssoftware. Hanser Verlag, München (1999)
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)
Koestler, A.: The Ghost in the Machine. Arkana Books, London (1989)
Ritter, A., Baum, W., Höpf, M., Westkämper, E.: Agentification for Production Systems. In: INT 2002, Grenoble (2002)
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)
Struger, O.: Wir stecken in einer Innovationslawine – Tendenzen in der Automatisierungstechnik. Elektrotechnik für die Automatisierung 3, 18 (1995)
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)
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)
N.N.: Automation and Process Control Engineering (LFA), University of Wuppertal, Germany (2004), http://www.lfa.uni-wuppertal.de
N.N.: DFG Priority Programme Software Specifications, Subproject IOSIP (2004), http://tfs.cs.tu-berlin.de/projekte/indspec/SPP/iosip.html
N.N.: DFG Priority Programme Software Specifications, Subproject DisPA (2004), http://www.lfa.uni-wuppertal.de/DisPA
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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