ISILEIT
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. This requirements increase the complexity of the control software. As a consequence sophisticated techniques for the development of such kind of production systems are needed.
The ISILEIT project aims at the development of a seamless methodology for the integrated design, analysis and validation of distributed production control systems. Its particular emphasis lies on (re-)using existing techniques, which are used by engineers in industry, and improving them with respect to formal analysis, simulation and automatic code generation. The methodology defined in the ISILEIT project consists of several consecutive design steps covering all aspects of software and system design.
ISILEIT is the acronym for the german translation of "Integrative Specification of Distributed Production Control Systems for the Flexible Automated Manufacturing" and has been supported by the Deutsche Forschungsgemeinschaft (DFG) grant GA 456/7 ISILEIT as part of the Priority Programme Software Specification - Integration of Software Specification Techniques for Applications in Engineering (SPP 1064).