Conceiving, analyzing, modeling, verifying and developing-the clews of modeling open software architectures of robot controllers

2001 International Conferences on Info-Tech and Info-Net: A Key to Better Life, ICII 2001 - Proceedings

Volumn 4, Issue , 2001, Pages 352-363

  Xu, Hua ^a   Jia, Peifa ^a   Zhao, Yannan ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Control Systems; Robot Controller; Robotics; Software Engineering

Indexed keywords

EID: 84964575598     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICII.2001.983844     Document Type: Conference Paper

References (55)

1. William E. Ford, "What is an Open Architecture Robot Controller?", Proceedings of the 1994 IEEE International Symposium on Intelligent Control, Columbus, Ohio, USA, August 1994, pp.27-32
2. Leahy, M.B., Petroski, S.B., "Unified Telerobotic Architecture Project Program Overview", Proceedings of the 1994 IEEE International Conference on Intelligent Robots & Systems (IROS), May 1994, pp.240-244
3. M.B.Leahy Jr, S.B.Petroski, "Unified Telerobtoic Architecture Project Status Report", Proceedings of the 1994 IEEE International Conference on Intelligent Robots & Systems (IROS), May 1994, pp.249-253
4. oM:A Tool for the Specification and the Implementation of Operating Modules in a Distributed Robot Architecture", Proceedings of the 1997 IEEE International Conference on Intelligent Robots & Systems (IROS), Grenoble, Ftrance,1997, pp.842-848
5. Klas Nillson, Rolf Johansson, "Integrated architecture for industrial robot programming and control", Robotics and Autonomous Systems, Vol. 29, Issue:4,1999, pp.205-226
6. Juan A. Fernandz, Javier Gonzalez, "The NEXUS open system for integrating robotic software", Vol. 15,Issue:6,1999, pp.431-440
7. Juan A.Fernandez, Javier Gonzalez, "NEXUS: A Flexible, Efficient and Robust Framework for Integrating Software Component of a Robotic System", Proceedings of the 1998 IEEE International Conference on Robotics & Automation,Leuven, Belgium, May 1998, PP.524-529
8. David Lee, Mihalis Yaonakakis, "Testing Finite-State Machines: State Identification and Verification", IEEE Trancsantions on computers, Vol. 43, No.3, March 1994, pp.306-320
9. Bertil A.Brandin, "The Real-Time Supervisory Control of an Experimental Manufacturing Cell", IEEE Transactions on Robotics and Automation,Vol.12, No.1, February 1996,pp.1-14
10. A. Traub, R.D.Schraft, "An Object-Orient Realtime Framework for Distributed Control System", Proceedings of the 1999 IEEE International Conference on Robotics & Automation, Detroit, Michigan, May 1999, pp.3115-3121
11. K.L.Mak, H.Y.K.Lau, S.T.W.Wong, "Object-oriented specification of automated manufacturing systems", Robotics and Computer Integrated Manufacturing, Vol 15, Issue:4, 1999, pp.297-312
12. Tadao Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of IEEE, Vol.77, No.4, April 1989, pp.541-580
13. Jang-Eui Hong, Doo-Hwan Bae, "Software modeling and analysis using a hierarchical object-oriented Petri net", Information Sciences Vo.130, Issue:1-4, pp.133-164
14. E.Messina, J.Horst, T.Kramer, H.Huang, J.Michaloski, "Component Specification for Robots Integration", Autonomous Robots, Vol. 6,1999, pp.247-264
15. th, July, 1992, pp. 325-332
16. David B.Stewart, Richard A. Volpe, Pradeep K.Khosla, "Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Object", IEEE Transactions on Software Engineering, Vol.23, No. 12,December 1997,pp. 759-776
17. E.Messina, J.Horst, T.Kramer, H.Huang, J.Michaloski, "Component Specification for Robotics Integration", Autonomous Robots,Vol.6, 1999,pp. 247-264
18. James L.Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall,1991
19. A.H.M.ter Hofstede, H.A. Proper, How to formalize it ? Formalization principles for information system development methods, Information and Software Technology,Vol 40,Issue, 1999, pp.519-540
20. J.S.Albus, H.G.Mcain, and R.Lumia, NASA/NBS Standard Reference Model for Telerobot Control System Architecture(NASREM), National Institute of Standards and Technology, Technical Report 1235,Gaithersburg, MD 1989
21. J.S. Albus, A Theory of Intelligent Machine Systems, Proceedings of IEEE/RSJ International Workshop on Intelligent Robots and Systems IROS'91, Osaka, Japan, Nov.1991
22. J.S.Albus, RCS:A Reference Model Architecture for Intelligent Control, IEEE Computer Magazine, May 1992, pp56-59
23. F.M.Proctor, J.S.Albus, Open-architecture controllers, IEEE Spectrum, June 1997, pp60-64
24. George Turnbull, The Open Controller, IEE Manufacturing Engineer, June 1998, pp144-146
25. Freedman, P., "Time, Petri nets, and Robotics", Robotics and Automation, IEEE Transactions on, Volume: 7 Issue: 4, Aug. 1991, pp. 417-433
26. Giese, H.; Graf, J.; Wirtz, G., Modeling distributed software systems with object coordination nets, Software Engineering for Parallel and Distributed Systems, 1998. Proceedings. International Symposium on, 1998 Page(s): 39-49
27. Wirtz, G.; Giese, H., Using UML and object-coordination-nets for workflow specification, Systems, Man, and Cybernetics, 2000 IEEE International Conference on, Volume: 5, 2000 Page(s): 3159-3164 vol.5
28. Holvoet, T.; Verbaeten, P., Petri charts: an alternative technique for hierarchical net construction, Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on, Volume: 3, 1995 Page(s): 2688-2693 vol.3
29. Lakos, C.A.; Keen, C.D., Modelling layered protocols in LOOPN, Petri Nets and Performance Models, 1991. PNPM91., Proceedings of the Fourth International Workshop on, 1991 Page(s): 106-115
30. LynOs Co., The Introduction of LynOs, Http://www.LynOS.com, 2000
31. WindRiver Co., VxWork User Guidegide,WindRiver Co., 1995
32. Real time operating system materials, Http://realtimelinux.org
33. Real time operating system materials, Http://linuxdevices.com
34. Introduction of RTAI, Http://realtimelinux.org
35. S. Hughes, D.Beal, RTAI: Real-Time Application Interface - An Introduction to RTAI for Deterministic and Preemptive Real-Time Behaviour for Linux, Linux Journal Magazine, No.4, April,2000
36. P. Mantegazza, E. Bianchi, L. Dozio, S. Papacharalanbous, S. Hughes, D. Beal, RTAI: Real-Time Application Interface, Http://realtimelinux.org
37. Paolo Mantegazza, A few Things to Know before Reading "Dissecting DIAPN RTHAL-RTAI", Http://realtimelinux.org
38. Patrick Mourot, RTAI Internal Presentations, Http://realtimelinux.org
39. Michael Barabanov, Victor Yodaiken, Real-Time Linux, http://luz.cs.nmt.edu/~rtlimux
40. Victor Yodaiken, Michael Barabanov, A Real-Time Linux, http://luz.cs.nmt.edu/~rtlimux
41. Robert Hill, Balaji Srinivasan, Ahym Father, Douglas Niehaus, Temporal Resolution and Real-Time Extensions to Linux, Techical Report ITTC-FY98-TR-11510-03, Information and Telecommunication Technology Center Department of Electrical Engineering and Computer Sciences, University of Kansas, June 3,1998
42. Bowden, F. D. J., A Brief Survey and Synthesis of the Roles of Time in Petri Nets, Mathematical and Computer Modelling, Volume:31, NO.10-12, pp. 55-68
43. Hong, J.E.; Bae, D.-H., High-level petri net for incremental analysis of object-oriented system requirements, Software, IEE Proceedings-, Volume: 148 Issue: 1, 2001 Page(s): 11-18
44. Kung, D.C.; Lin, J.; Hsia, P.; Carroll, B., Object-oriented real time systems modeling and verification, Object-Oriented Real-Time Dependable Systems, 1997. Proceedings., Third International Workshop on, 1997 Page(s): 224-231
45. Kung, D.C.; Oksanen, S.R.; Jyhjong Lin, An object-oriented real time systems modeling and verification methodology, Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International, 1996 Page(s): 490-495
46. Philip M.Merlin, A methodology for the design and implementation of communication protocols, IEEE Transactions On Communication, Vol. 24, No.6, June, 1976
47. Hua Xu, Yannan Zhao, Peifa Jia, Modeling Open Software Architectures of Robot Controllers: A Brief Survey of Modeling Methods and Developing Methods, Proceedings of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS 2001), Orlando, USA, July 22-25, 2001
48. Hua Xu, Yannan Zhao, Peita Jia, The software architecture research of open robot controllers, Proceedings of China Intelligent Automation Conference, Kun Ming, China, August 13-16, 2001
49. Hua Xu, Yannan Zhao, Peifa Jia, "How to model it?Modeling strategies for open software architectures of robot controllers", Proceedings of International Conference on Artificial Intelligence, June 25-28, Las Vegas, Nevada, USA
50. Jean-philippe Babau, "Object Oriented Design for Real-Time Systems-Response to C.E.Pereira's Contribution", The International Journal of Time-Critical Computing Systems,Vol.18,2000,pp.95-99
51. Joaquin Ezpeleta, Jose Manuel Colom, "Automatic Synthesisi of Colored Petri Nets for the Control of FMS", IEEE Transactions on Robotics and Automation,Vol.13, No.3,June 1997, pp.327-337
52. James L.Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall,1991
53. CHEUNG,S., and KRAMER, J.: "Context constraint for compositional reachability analysis", ACM Transactions on Software Engineering Methodology, 1996,5,(4), pp.334-377
54. A.Avritzer and E.J.Weyuker, "Deriving Workloads for Performance Testing", Software - Practice and Experience, Vol. 26, No. 6, pp. 613-633, June 1996
55. Weyuker, E.J.; Vokolos, F.I., Experience with performance testing of software systems: issues, an approach, and case study, Software Engineering, IEEE Transactions on, Volume: 26 Issue: 12, December 2000 Page(s): 1147-1156