Lecture Notes in Computer Science, 2003, Volume 2589/2003, 416, DOI: 10.1007/3-540-36498-6_30

ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction

Martin Kardos and Ulrich Nickel

View Related Documents

Abstract

Production systems used nowadays in manufacturing processes can be characterized as stationary, inflexible, production-specific systems with a strongly centralized control. Once such a production system has been built, it is very time and cost demanding to adapt it to new changes in the manufacturing process. On the contrary, the market competition and customer needs impose new requirements on the production systems. There are increasing demands for shorter production times, higher flexibility, reconfigurability and optimal utilization of production facilities. Such demands can be met only by distributed production systems (DPS) with a decentralized organization.
This work is part of the ISILEIT project supported by the German Research Foundation (SPP1064, GA 456/7).

Fulltext Preview

Image of the first page of the fulltext document