Operation-oriented specification for integrated control logic development

2009 IEEE International Conference on Automation Science and Engineering, CASE 2009

Volumn , Issue , 2009, Pages 183-190

  Bengtsson, Kristofer ^a   Lennartson, Bengt ^c   Yuan, Chengyin ^b   Falkman, Petter ^c   Biller, Stephan ^b  

^a Research and Development   (Sweden)

^b GENERAL MOTORS CORPORATION   (United States)

^c CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Concurrent engineering; Control logic development; Discrete event systems; Modeling; Sequence of operations

Indexed keywords

CONTROL ENGINEERING; CONTROL LOGIC; CONTROL LOGIC DESIGNS; CONTROL LOGIC DEVELOPMENT; DEVELOPMENT APPROACH; DEVELOPMENT PROCESS; DISCRETE-EVENT SYSTEMS; MANUFACTURING AUTOMATION SYSTEMS; MANUFACTURING OPERATIONS; MODELING; PRODUCT DESCRIPTIONS; RESET EVENTS; SEQUENCE OF OPERATIONS;

AUTOMATION; CONCURRENT ENGINEERING; LOGIC DESIGN; PRODUCT DESIGN;

CONCURRENCY CONTROL;

EID: 70449116121     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2009.5234133     Document Type: Conference Paper

References (16)

1. M.R. Lucas and D.M. Tilbury. A study of current logic design practices in the automotive manufacturing industry. International journal of Human-Computer Studies, 59:725-753, 2003.
2. V. Hajarnavis and K. Young. An investigation into programmable logic controller software design techniques in the automotive industry. Assembly Automation, 28(1), 2008.
3. M.R. Lucas and D.M. Tilbury. Comparing industrial logic design methods used in the automotive industry. In IEEE International Conference on Systems, Man and Cybernetics, volume 1, pages 530-537, 2003.
4. K.C. Thramboulidis. Using uml in control and automation: a model driven approach. In IEEE International Conference on Industrial Informatics, pages 587-593, 2004.
5. G. Frey and L. Litz. Formal methods in plc programming. In Proceedings of the IEEE SMC, volume 4, pages 2431-2436, 2000.
6. J. Richardsson, K. Andersson, and M. Fabian. Automated verification and generation of control programs for assembly cells. submitted to IEEE Trans. Autom. Sci. Eng., 2009.
7. K. Kosanke. Cimosa-overview and status. Computers in Industry, 27:101-109, 1995.
8. Johan Nielsen. Information Modeling of Manufacturing Processes: Information Requirements for Process Planning in a Concurrent Engineering Environment. PhD thesis, Department of Production Engineering, Royal Institute of Technology, Stockholm, Sweden, 2003.
9. W. Lia, S. Ongb, J. Fuhb, Y. Wongb, Y. Lua, and A. Neeb. Feature-based design in a distributed and collaborative environment. Computer-Aided Design, 36:775-797, 2004.
10. K. Bengtsson, B. Lennartson, and C. Yuan. The origin of operations: Interactions between the product and the manufacturing automation control system. In IFAC Symposium on Information Control Problems In Manufacturing, 2009.
11. B. Lennartson, K. Bengtsson, C. Yuan, K. Andersson, M. Fabian, P. Falkman, and K. Åkesson. Sequence planning for integrated product, process and automation design. Submitted to IEEE Transactions on Automation Science and Engineering, 2009.
12. A. Bourjault. Contribution à une approche méthodologique de l'assemblage automatisé: élaboration automatique dessequences operatiories. Thesis d'Etat Universite de Franche-Comte, Besancon, 1984.
13. B. Lennartson, M. Fabian, and P. Falkman. Control architecture for flexible production systems. In 2005, Edmonton, Canada, 2005.
14. Knut Åkesson, Martin Fabian, Hugo Flordal, and Arash Vahidi. Supremica-a tool for verification and synthesis of discrete event supervisors. In 11th Mediterranean Conference on Control and Automation, Rhodos, Greece, 2003.
15. A. Voronov and K. Åkesson. Verification of process operations using model checking. In IEEE Conference on Automation Science and Engineering, 2009.
16. M. Sköldstam, K. Åkesson, and M. Fabian. Modelling of discrete event systems using finite automata with variables. In Proc. 46th IEEE Conference on Decision and Control, New Orleans, USA, Dec 2007.