Constructing reconfigurable software for machine control systems

IEEE Transactions on Robotics and Automation

Volumn 18, Issue 4, 2002, Pages 475-486

  Wang, Shige ^a,b   Shin, Kang G ^a,b  

^a IEEE   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Controller architecture; Machine control systems; Reconfigurable software; Software models

Indexed keywords

MACHINE TOOL CONTROL SYSTEMS; RECONFIGURABLE SOFTWARE; SOFTWARE MODELS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE REUSABILITY; CONTROL SYSTEM SYNTHESIS; FINITE AUTOMATA; INTERFACES (COMPUTER); MACHINE TOOLS; MACHINING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0036703507     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/TRA.2002.802235     Document Type: Article

References (35)

1. R. Alur, S. Kannan, and M. Yannakakis, "Communicating hierarchical state machines," in Proc. 26th Int. Colloquium on Automata Languages and Programming, Lecture Notes in Computer Science 1644, 1999, pp. 169-178.
2. M. A. Ardis et al., "A framework for evaluating specification methods for reactive systems: Experience report," IEEE Trans. Software Eng., vol. 22, pp. 378-389, June 1996.
3. M. Astley and G. A. Agha, "A visualization model for concurrent systems," Inform. Sci., vol. 93, no. 1-2, pp. 107-131, Aug. 1996.
4. M. Barnett, E. Boerger, Y. Gurevich, W. Schulte, and M. Veanes, Using Abstract State Machines at Microsoft: A Case Study. [Online]. Available: http:research.microsoft.com/~gurevich/annotated.html
5. S. Birla, "Software modeling for reconfigurable machine tool controllers," Ph.D. dissertation, Dept. Elec. Eng. Comp. Sci., Univ. Michigan, Ann Arbor, MI, 1997.
6. "Requirements of Open, Modular Architecture Controllers for Applications in the Automotive Industry, Version 1.1," Chrysler, Ford, and GM, 1994.
7. E. W. Endsley, M. R. Lucas, and D. M. Tilbury, "Software tools for verification of modular FSM based logic control for use in reconfigurable machining systems," in Proc. 2000 Japan-USA Symp. Flexible Automation, Ann Arbor, MI, July 23-26, 2000, pp. 565-568.
8. "ESPRIT Consortium AMICS," in CIMOSA: Open System Architecture for CIM, 2nd ed. New York: Springer-Verlag, 1989.
9. K. Feldmann et al., "Specification, design and implementation of logic controllers based on colored petri net models and the standard IEC 1131," IEEE Trans. Contr. Syst. Technol., vol. 7, pp. 657-674, Nov. 1999.
10. B. O. Gallmeister, Programming for the Real World: POSIX.4. Sebastopol, CA: O'Reilly & Assoc., 1995.
11. D. Harel, "On visual formalisms," Commun. ACM, vol. 31, no. 5, pp. 514-530, May 1998.
12. J. Hooman and O. V. Roosmalen, "Timed-event abstraction and timing constraints in distributed real-time programming," in Proc. 3rd Int. Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, CA, Feb. 5-7, 1997, pp. 153-170.
13. "IEC 61 499-Function Blocks," International Electrotechnical Commission Technical Committee, 1999.
14. F. Jahanian and A. K. Mok, "Modechart: A specification language for real-time systems," IEEE Trans. Software Eng., vol. 20, pp. 933-947, Dec. 1994.
15. Y. Koren, F. Jovane, and G. Pritschow, "Open Architecture Control Systems: Summary of Global Activity," ITIA-Institute for Industrial Technologies and Automation, ser. ITIA, vol. 2, 1998.
16. K. Nilsen, "Java for real-time," Real-Time Syst., vol. 11, no. 2, pp. 197-205, Sept. 1996.
17. "OMAC API Documentation, Version 0.23," OMAC Working Group, http://www.isd.mel.nist.gov/project/omacapi/Bibliography/omacv023draft.pdf, Oct. 12, 1999.
18. J. Park et al., "An open architecture real-time controller for machining processes," in Proc. 27th CRIP Int. Sem. Manufacturing Systems, May 1995, pp. 27-34.
19. C. Passerone et al., "Modeling reactive system in java," in Proc. 6th Int. Workshop on Hardware/Software Codesign (CODES/CASHE'98), Mar. 15-18, 1998, pp. 15-19.
20. G. Pritschow and W. Sperling, "Modular system platform for open control systems," Prod. Eng., vol. IV, no. 2, pp. 77-80, 1997.
21. S. Ren and G. Agah, "A modular approach for programming distributed real-time systems," in Lectures on Embedded Systems: Eur. Educational Forum School on Embedded Systems (LNCS 1494), Veldhovan, The Netherlands, Nov. 1996, pp. 171-207.
22. S. Schneider, Concurrent and Real-Time Systems: The CSP Approach. New York: Wiley, 2000.
23. B. Selic, G. Gullekson, and P. T. Ward, Real-Time Object-Oriented Modeling. New York: Wiley, 1994.
24. C. Shiu, M. J. Washburn, S. Wang, C. V. Ravishankar, and K. G. Shin, "Specifying reconfigurable control flow for open architecture controllers," in Proc. 1998 Japan-USA Symp. on Flexible Automation, vol. 2, Otsu, Japan, July 1998, pp. 659-666.
25. D. B. Stewart, R. A. Volpe, and P. K. Khosla, "Design of dynamically reconfigurable real-time software using port-based objects," IEEE Trans. Software Eng., vol. 23, pp. 759-775, Dec. 1997.
26. O. Storoshchuk, S. Wang, and K. G. Shin, "Modeling manufacturing control software," in Proc. 2001 IEEE Int. Conf. on Robotics and Automation, Seoul, Korea, May 2001, pp. 4072-4077.
27. (1999) Jini Architectural Overview: Technical White Paper. Sun Microsystems, Inc. [Online]. Available http://www.sun.com/jini/whitepaper/architecture.html
28. C. Szyperski, Component Software: Beyond Object-Oriented Programming. Reading, MA: Addison-Wesley, 1997.
29. T. Tsang and R. Lai, "Specification and verification of multimedia synchronization scenarios using time-estelle," Softw.-Pract. Exp., vol. 28, no. 11, pp. 1185-1211, Sept. 1998.
30. T. Villa, T. Kam, R. K. Brayton, and A. Sangiovanni-Vincentelli, Synthesis of Finite State Machines: Logic Optimization. Norwell, MA: Kluwer, 1997.
31. V. Vyatkin and H.-M. Hanisch, "A modeling approach for verification of IEC1499 function blocks using Net Condition/Event systems," in Proc. IEEE Conf. Emerging Technologies in Factory Automation (ETFA'99), Magdeburg, Germany, Mar. 2000, pp. 72-79.
32. S. Wang, C. V. Ravishanka, and K. G. Shin, "Open architecture controller software for integration of machine tool monitoring," in Proc. 1999 IEEE Int. Conf. Robotics and Automation (ICRA'99), Detroit, MI, May 1999, pp. 1812-1820.
33. S. Wang and K. G. Shin, "Generic programming paradigm for machine control," in Proc. World Automation Congr. 2000, Maui, HI, June 2000.
34. A. M. Zaremski and J. M. Wing, "Specification matching of software components," ACM Trans. Softw. Eng. Method., vol. 6, no. 4, pp. 333-369, Oct. 1997.
35. L. Zhou et al., "Performance evaluation of modular real-time controllers," in Proc. ASME Dynam. Syst. Contr. Div., DSC, vol. 58, Atlanta, GA, Nov. 1996, pp. 299-306.