Abstract
Today’s manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure of a single central production control computer or program. Additionally, today’s market forces demand smaller lot sizes and a more flexible mixture of different products manufactured in parallel on one production line. These requirements increase the complexity of the control software. Consequently, sophisticated techniques for the development of such production systems are needed. In this paper we present an overview of our seamless methodology for integrated design, analysis, and validation for such production control systems. We illustrate our approach by an existing material flow system which is a major part of a real production system. We show how our modelling approach is used for simulation facilities, code generation for programmable logic controllers, and maintenance purposes.
This is a preview of subscription content, log in via an institution to check access.
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
Ali, J., Tanaka, J.: Implementation of the dynamic behaviour of object oriented systems. In: Proc. of the 3rd Biennal World Conference on Integrated Design and Process Technology, pp. 281–288. Society for Design and Process Science (1998) ISSN No. 1090-9389
Behringer, R., Klinker, G., Mizell, D.: Augmented reality - placing artificial objects in real scenes. In: Proceedings of th IWAR, San Francisco, California (1999)
Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Technical report, Ecole Nationale Superieure des Mines de Paris (1988)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 1st edn. Addison-Wesley, Reading (1999)
Burmester, S., Giese, H., Niere, J., Tichy, M., Wadsack, J., Wagner, R., Wendehals, L., Zündorf, A.: Tool integration at the meta-model level within the fujaba tool suite. In: Proc. of the Workshop on Tool-Integration in System Development (TIS) (ESEC / FSE 2003 Workshop 3), Helsinki, Finland, September 2003, pp. 51–56 (2003)
Douglass, B. (ed.): Real Time UML. Addison-Wesley, Reading (1998)
Fabian, M., Hellgren, A.: PLC-based implementation of supervisory control for discrete event systems. In: Proceedings of the 37 th IEEE Conference on Decision and Control, Tampa, Florida, USA (December 1998)
G. FASTEC GmbH, Paderborn, http://www.fastec.de
Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story diagrams: A new graph rewrite language based on the unified modeling language. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 296–309. Springer, Heidelberg (2000)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object Oriented Software. Addison-Wesley, Reading (1995)
Harel, D., Gery, E.: Executable object modeling with statecharts. In: Proc. of the 18th International Conference on Software Engineering, Berlin, Germany, May 1996, pp. 246–257. IEEE Computer Society Press, Los Alamitos (1996)
Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull- Tauring, A., Trakhtenbrot, M.: Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 403–414, IEEE Computer Society Press (1990)
Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The Statemate Approach, 1st edn. McGraw-Hill Companies, Inc., New York (1998)
ILogix. Rhapsody, the Rhapsody case tool, Online at http://www.ilogix.com
International Electrotechnical Commission, Technical Commitee No. 65. Programmable Controllers - Programming Languages, IEC 61131-3 (1993)
International Telecommunication Union (ITU), Geneva. ITU-T Recommendation Z.100: Specification and Description Language (SDL), 1994 + Addendum 1996
Jahnke, J., Zündorf, A.: Specification and implementation of a distributed planning and information system for courses based on story driven modelling. In: Proc. of Intl. Workshop on Software Specification and Design (IWSSD-9), Kyoto, Japan, pp. 77–86. IEEE Computer Society Press, Los Alamitos (1998)
Köhler, H., Nickel, U., Niere, J., Zündorf, A.: Integrating uml diagrams for production control systems. In: Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Irland, pp. 241–251. ACM Press, New York (2000)
Matysczok, C.: Augmented reality - chances and potentials of a new man-machineinterface. In: Proceedings of the International Digital Media Conference, Cairo (2004)
Nickel, U., Schäfer, W., Zündorf, A.: Integrative specification of distributed production control systems for flexible automated manufacturing. In: Nagl, M., Westfechtel, B. (eds.) DFG Workshop: Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, pp. 179–195. Wiley-VCH Verlag GmbH and Co. KGaA (2003)
OMG. Unified Modeling Language: Superstructure, Version 2.0, 3rd Revised Submission to OMG RFP ad/00-09-02. Object Management Group, 250 First Avenue, Needham, MA 02494, USA (April 2003)
Rammig, F., Kardos, M.: Model based formal verification of distributed 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. 451–473. Springer, Heidelberg (2004)
Rational. RR-RT, the Rational Rose Real Time case-tool, Online at http://www.rational.com
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1. World Scientific, Singapore (1999)
Schürr, A.: Graph grammar engineering with progres. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, Springer, Heidelberg (1995)
Selic, B., Gullekson, G., Ward, P.: Real-Time Object Oriented Modeling. Wiley, Chichester (1994)
Wagner, R., Giese, H., Nickel, U.: A plug-in for flexible and incremental consistency management. In: Proc. of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UML-based Software Development), San Francisco, USA (October 2003)
Zündorf, A.: Rigorous Object Oriented Software Development. University of Paderborn (2001)
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
Schäfer, W., Wagner, R., Gausemeier, J., Eckes, R. (2004). An Engineer’s Workstation to Support Integrated Development of Flexible Production Control Systems. 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_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-27863-4_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23135-6
Online ISBN: 978-3-540-27863-4
eBook Packages: Springer Book Archive