Automatic generation of control software using Discrete Event Control Networks (ABSTRACT)
Castillo, I., C.A. Roberts, and K.D. Peterman
published: 2003 | Research publication | Refereed Journals - ODS
Castillo, I., C.A. Roberts, and K.D. Peterman (2003). "Automatic generation of control software using Discrete Event Control Networks", International Journal of Industrial Engineering, 10(3):213–221.
ABSTRACT: The objective of the research presented in this paper is to develop a systematic formal specification approach that generates control software for automated manufacturing environments. The foundation of this system is a graphical formal model of parallel computation that adequately describes the behavior of the system and provides a framework for analytical techniques to meet the goals of design, modeling, and control of automated manufacturing environments. The proposed control software generator’s objective is to reduce the limitations of software development. Our experimentation shows that the proposed methodology successfully creates generic language control software for several models of automated manufacturing environments using the aforementioned formalism.
Download the article at: http://www.ijiengr.org/Journal_pages/volume10.htm
revised Sep 21/06
View all Ignacio Castillo documents