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

Openness is one of the features of modem robot controllers. Although many modeling technologies about how to model and develop open robot controllers have been discussed, the focus is always on some detail problems in some respects. While the relative complete modeling clews have never been discussed. In this paper, an initial modeling clew is presented. The corresponding contents including basic conceptions, modeling methods, requirement analysis, and testing strategies are discussed in detail.

[1]  David Lee,et al.  Testing Finite-State Machines: State Identification and Verification , 1994, IEEE Trans. Computers.

[2]  James S. Albus,et al.  NASA/NBS Standard Reference Model for Telerobot Control System Architecture (NASREM) , 1989 .

[3]  M.B. Leahy,et al.  Unified telerobotic architecture project program overview , 1994, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'94).

[4]  Doo-Hwan Bae,et al.  High-level Petri net for incremental analysis of object-oriented system requirements , 2001, IEE Proc. Softw..

[5]  Arthur H. M. ter Hofstede,et al.  How to formalize it?: Formalization principles for information system development methods , 1997, Inf. Softw. Technol..

[6]  Rolf Johansson,et al.  Integrated architecture for industrial robot programming and control , 1999, Robotics Auton. Syst..

[7]  James S. Albus.  A theory of intelligent machine systems , 1991, Proceedings IROS '91:IEEE/RSJ International Workshop on Intelligent Robots and Systems '91.

[8]  Pradeep K. Khosla,et al.  Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects , 1997, IEEE Trans. Software Eng..

[9]  George Turnbull.  The open controller , 1998 .

[10]  Shing-Chi Cheung,et al.  Context constraints for compositional reachability analysis , 1996, TSEM.

[11]  Charles Lakos,et al.  Modelling layered protocols in LOOPN , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[12]  Joaquín Ezpeleta,et al.  Automatic synthesis of colored Petri nets for the control of FMS , 1997, IEEE Trans. Robotics Autom..

[13]  F. D. J Bowden,et al.  A brief survey and synthesis of the roles of time in petri nets , 2000 .

[14]  Pierre Verbaeten,et al.  Petri charts: an alternative technique for hierarchical net construction , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[15]  Javier González,et al.  NEXUS: a flexible, efficient and robust framework for integrating software components of a robotic system , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[16]  Javier Gonzalez,et al.  The NEXUS open system for integrating robotic software , 1999 .

[17]  James S. Albus,et al.  Open architecture controllers , 1997 .

[18]  Pradeep K. Khosla,et al.  Integration of real-time software modules for reconfigurable sensor-based control systems , 1992, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems.

[19]  Paul Freedman,et al.  Time, Petri nets, and robotics , 1991, IEEE Trans. Robotics Autom..

[20]  Henry Y. K. Lau,et al.  Object-oriented specification of automated manufacturing systems , 1999 .

[21]  Elaine J. Weyuker,et al.  Deriving workloads for performance testing , 1996 .

[22]  David Chenho Kung,et al.  An object-oriented real time systems modeling and verification methodology , 1996, Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96.

[23]  Jia,et al.  Modeling Open Software Architectures of Robot Controllers: A Brief Survey of Modeling Methods and Developing Methods , 2002 .

[24]  Holger Giese,et al.  Modeling Distributed Software Systems with Object Coordination Nets , 1998, PDSE.

[25]  James S. Albus,et al.  RCS: a reference model architecture for intelligent control , 1992, Computer.

[26]  Doo-Hwan Bae,et al.  Software modeling and analysis using a hierarchical object-oriented Petri net , 2000, Inf. Sci..

[27]  Matthieu Herrb,et al.  G/sup en/oM: a tool for the specification and the implementation of operating modules in a distributed robot architecture , 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.

[28]  Holger Giese,et al.  Using UML and object-coordination-nets for workflow specification , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[29]  W. E. Ford.  What is an open architecture robot controller? , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.

[30]  P. Merlin,et al.  A Methodology for the Design and Implementation of Communication Protocols , 1976, IEEE Trans. Commun..

[31]  Matthieu Herrb,et al.  A tool for the specification and the implementation of operating modules in a distributed robot architecture , 1999 .

[32]  Thomas R. Kramer,et al.  Component Specifications for Robotics Integration , 1999, Auton. Robots.

[33]  B.A. Brandin,et al.  The real-time supervisory control of an experimental manufacturing cell , 1996, IEEE Trans. Robotics Autom..

[34]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.