Component Speci cations for Robotics Integration

Robotics researchers have been unable to capitalize easily on existing software components to speed up their development e orts and maximize their system's capabilities. A component-based approach for building the software for robotics systems can provide reuse and sharing abilities to the research community. The software engineering community has been studying reuse techniques for three decades. We present several results from those e orts that are applicable to the robotics software integration problem. We describe how to specify a software component so that a potential user may understand its capabilities and facilitate its application to his or her system. At the National Institute of Standards and Technology, we have developed a three-stage, component-speci cation approach. We illustrate this approach for a component that is relevant to robotics.

[1]  Jeannette M. Wing,et al.  Specification matching of software components , 1995, TSEM.

[2]  Antonio Bicchi,et al.  Interactive benchmark for planning algorithms on the Web: http:.//www.piaggio.ccii.unipi.it/benchplanning.html , 1997, Proceedings of International Conference on Robotics and Automation.

[3]  クイック,et al.  ActiveX controls inside out , 1997 .

[4]  Tieniu Tan,et al.  Pose Determination and Recognition of Vehicles in Traffic Scenes , 1994, ECCV.

[5]  James S. Albus,et al.  Overview of the multiple autonomous underwater vehicles (MAUV) project , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[6]  Hui-Min Huang.  An Architecture and a Methodology for Intelligent Control , 1996, IEEE Expert.

[7]  Tim Berners-Lee,et al.  Hypertext markup language: a representation of textual information and metainformation for retrieval , 1993 .

[8]  Oscar Nierstrasz,et al.  Research directions in software composition , 1995, CSUR.

[9]  James S. Albus,et al.  4-D/RCS: a reference model architecture for Demo III , 1997, Proceedings of the 1998 IEEE International Symposium on Intelligent Control (ISIC) held jointly with IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA) Intell.

[10]  Victor R. Basili,et al.  Packaging reusable components: the specification of programs , 1992 .

[11]  Mohamed E. Fayad,et al.  Object-Oriented Application Frameworks - Introduction. , 1997 .

[12]  Michael A. Arbib,et al.  Port Automata and the Algebra of Concurrent Processes , 1983, J. Comput. Syst. Sci..

[13]  Andy Podgurski,et al.  Retrieving reusable software by sampling behavior , 1993, TSEM.

[14]  Christiaan J. J. Paredis,et al.  A rapidly deployable manipulator system , 1997, Robotics Auton. Syst..

[15]  Oscar Nierstrasz,et al.  Design Guidelines for Tailorable Frameworks , 1997 .

[16]  Karl Murphy,et al.  CAD Directed Robotic Deburring , 1988 .

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

[18]  Wolfgang Pree.  Component-based software development-a new paradigm in software engineering? , 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.

[19]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[20]  Herbert Freeman,et al.  Machine Vision for Inspection and Measurement , 1989 .

[21]  Katherine C. Morris.  Data Probe: A Tool for EXPRESS-based Data , 1993 .

[22]  Henry Schneiderman,et al.  Ground vehicle control at NIST: From teleoperation to autonomy , 1994 .

[23]  James S. Albus,et al.  An Engineering Architecture for Intelligent Systems , 1996 .

[24]  Xinhua Zhuang,et al.  Pose estimation from corresponding point data , 1989, IEEE Trans. Syst. Man Cybern..

[25]  Tieniu Tan,et al.  Linear Algorithms for Object Pose Estimation , 1992, BMVC.

[26]  Robert M. Haralick.  Performance Characterization in Computer Vision , 1992, BMVC.

[27]  Don S. Batory,et al.  The design and implementation of hierarchical software systems with reusable components , 1992, TSEM.

[28]  Charles W. Krueger,et al.  Software reuse , 1992, CSUR.

[29]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[30]  Oscar Nierstrasz,et al.  Component-oriented software development , 1992, CACM.

[31]  C LuckhamDavid,et al.  Specification and Analysis of System Architecture Using Rapide , 1995 .

[32]  David Chappell,et al.  Understanding ActiveX and OLE: a guide for developers and managers , 1996 .

[33]  Leonard J. Bass,et al.  Classifying architectural elements as a foundation for mechanism matching , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[34]  Keith A. Stouffer,et al.  ADACS: An Advanced Deburring and Chamfering System , 1995 .

[35]  J. P. Ed,et al.  Transmission control protocol- darpa internet program protocol specification , 1981 .