Component Specifications for Robotics Integration

Robotics researchers have been unable to capitalize easily on existing software components to speed up their development efforts 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 efforts 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-specification approach. We illustrate this approach for a component that is relevant to robotics.

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

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

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

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

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

[6]  Jeannette M. Wing,et al.  Specification matching of software components , 1997 .

[7]  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.

[8]  Jeannette M. Wing,et al.  Specifications and their use in defining subtypes , 1993, OOPSLA '93.

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

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

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

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

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

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

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

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

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

[18]  Douglas C. Schmidt,et al.  Object-oriented application frameworks , 1997, CACM.

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

[20]  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).

[21]  Tieniu Tan,et al.  Closed-form algorithms for object pose and scale recovery in constrained scenes , 1996, Pattern Recognit..

[22]  Adam Denning,et al.  ActiveX controls inside out (2nd ed.) , 1997 .

[23]  Julian Rose,et al.  Z - An introduction to formal methods (2nd edn) : Antoni Diller John Wiley, Chichester (1994) £22.50 (1st edn published in 1990) ISBN 0 471 93973 0 , 1995, Inf. Softw. Technol..

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

[25]  Dan Kara.  Seeing the forest in spite of the trees , 1997 .

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

[27]  Walter Mann,et al.  Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..

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

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

[30]  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.

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

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

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

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

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

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

[37]  Dale Rogerson,et al.  Inside COM , 1997 .

[38]  Luciano Baresi,et al.  Introducing Formal Specification Methods in Industrial Practice , 1997, Proceedings of the (19th) International Conference on Software Engineering.

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