Ebook: Software Engineering for Manufacturing Systems: Methods and CASE tools. IFIP TC5 international conference on Software Engineering for Manufacturing Systems, 28 – 29 March 1996, Stuttgart, Germany

Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.

---

---

Content:
Front Matter....Pages i-v
Software Engineering for Control Technology — Definitions and Requirements....Pages 1-13
Life Cycle Support for PLC Controlled Manufacturing Systems....Pages 14-26
State Diagrams A New Programming Method for Programmable Logic Controllers....Pages 27-37
Applying simulation modeling techniques for the design and assessment of control software....Pages 38-45
A CP-net Approach To Control Logic Engineering....Pages 46-57
Modeling and Simulation of Combined Discrete Event-Continuous Systems Using devs Formalism and Object-Oriented Paradigm....Pages 58-70
Principles of CASE Tool design for Automation Control....Pages 71-83
VPLC — A Case Tool for the Virtual Programming, Simulation and Diagnosis of PLC-Software....Pages 84-94
ASPECT — a CASE-Tool for Control Functions Originating from Mechanical Layout....Pages 95-106
Case Tools for Flexible Manufacturing Systems....Pages 107-122
An Environment and Algorithm for FMS Controller Testing....Pages 123-138
Reusability of Function-oriented and Object-oriented Master Control Software....Pages 139-152
A Reusable Software Artifact Library system as the core of a reuse-oriented software enterprise....Pages 153-167
Software design practice using two SCADA software packages....Pages 168-180
GENIUS: A Generator for Graphical User Interfaces....Pages 181-196
Back Matter....Pages 198-199

---

Content:
Front Matter....Pages i-v
Software Engineering for Control Technology — Definitions and Requirements....Pages 1-13
Life Cycle Support for PLC Controlled Manufacturing Systems....Pages 14-26
State Diagrams A New Programming Method for Programmable Logic Controllers....Pages 27-37
Applying simulation modeling techniques for the design and assessment of control software....Pages 38-45
A CP-net Approach To Control Logic Engineering....Pages 46-57
Modeling and Simulation of Combined Discrete Event-Continuous Systems Using devs Formalism and Object-Oriented Paradigm....Pages 58-70
Principles of CASE Tool design for Automation Control....Pages 71-83
VPLC — A Case Tool for the Virtual Programming, Simulation and Diagnosis of PLC-Software....Pages 84-94
ASPECT — a CASE-Tool for Control Functions Originating from Mechanical Layout....Pages 95-106
Case Tools for Flexible Manufacturing Systems....Pages 107-122
An Environment and Algorithm for FMS Controller Testing....Pages 123-138
Reusability of Function-oriented and Object-oriented Master Control Software....Pages 139-152
A Reusable Software Artifact Library system as the core of a reuse-oriented software enterprise....Pages 153-167
Software design practice using two SCADA software packages....Pages 168-180
GENIUS: A Generator for Graphical User Interfaces....Pages 181-196
Back Matter....Pages 198-199
....