Comprehension and recall of miniature programs
International Journal of Man-Machine Studies - Lecture notes in computer science Vol. 174
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Comprehension strategies in programming
Empirical studies of programmers: second workshop
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
VPLs and Novice Program Comprehension: How do Different Languages Compare?
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Automated synthesis and composition of taskblocks for control ofmanufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Modeling, verification, and implementation of PLC program using timed-MPSG
Proceedings of the 2007 Summer Computer Simulation Conference
Architecture for modeling, simulation, and execution of PLC based manufacturing system
Proceedings of the 40th Conference on Winter Simulation
Formal modeling and verification of shop floor controller logics
AsiaMS '07 Proceedings of the IASTED Asian Conference on Modelling and Simulation
Operation-oriented specification for integrated control logic development
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Simulation based control program verification in an automobile industry
MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
Hi-index | 0.00 |
This paper presents the results of an observational study of industrial logic designers at Lamb Technion. The purpose of this study was to determine the current methods of logic design used in industry. These observations can be used to evaluate recent academic proposals of methods for generating controllers for machines, as well as suggesting new methods.By observing the logic designers it was determined that designing logic for machining systems is substantially different than writing computer code, both in the specification and in the people who will design and use the system. In addition, recent academic developments in Discrete Event Systems are difficult to apply to the problems of industrial logic control. Even methods which researchers design specifically for industrial logic design are difficult to apply, both due to the lack of support for the methods, and the unsuitability of the methods to solve problems in this domain.The primary observations of this study are the following. • The observed Logic designers need to at least: determine acceptable machine behavior, foresee potential error conditions, predict user behavior, and design the logic needed for a machine. This is a greater range of responsibilities than expected. • Logic for one machine is generally copied directly from a previous project. However, copying logic generally involves manually retyping everything due to incompatibilities in the development environments. • Customers continue to ask for more features, and it is unlikely that this trend will stop. Some of these features are extremely difficult to implement using existing methods. Such features include: detailed part tracking, more sophisticated user interfaces, and greater diagnostic ability.