Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI- Workshops OMER-1 & OMER-2 May 28/29, 1999 & May 10-12, 2001, Herrsching am Amersee, Germany. P-05, 106-121 (2001).

GI, Gesellschaft für Informatik, Bonn
2001


Editors

Peter P. Hofmann (ed.), Andy Schürr (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Towards service-based flexible production control systems and their modular modeling and simulation

Holger Giese and Ulrich A. Nickel

Abstract


Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to new or changing requirements. For validation in form of simulation, however, usually a complete specification of both, the production control software and the physical elements of the manufacturing plant is required. We therefore proposed to use a service-based architectural approach to build the control software using more rigorous separation by means of well-defined interfaces following the software component paradigm. We present an extension of ROOM that further facilitates service-based design and permits the independent validation of components for such a design style. We show how the combination of both concepts permits the compositional validation of the system and thus enables early design validation even for flexible systems. The presented approach further reduces the validation overhead imposed by design evolution as long as local component properties are considered and component interfaces are stable.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn


Last changed 04.10.2013 17:52:42