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.
BibTeX file
title = { Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation },
year = { 2002 },
volume = { P5 },
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. },
month = { 0 },
publisher = { Gesellschaft für Informatik },
series = { Lecture Notes in Informatics (LNI) },
chapter = { 3 },
booktitle = { OMER - Object-oriented Modeling of Embedded Real-Time Systems }
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
last change: Wed, 28 Oct 2009 16:58:19 +0100