Software Solutions for Distributed Autonomous Multi-Functional Robotics in Space

1. Abstract Robotics systems in space must deal with a host of software challenges in addition to and amplified by the challenges of a hostile space environment and the remoteness in which they operate. Software automation has been used to good effect in managing some of these challenges to control single robotic systems, even multi-functional systems, in previous unmanned missions without the physical presence of human operators. However, these previous control software artifacts tend to be platform-specific, single-systemfocused and not really applicable to multi-agent teams of multi-functional, multi-generational robotic systems. In this paper, we discuss a software architecture based on the Multi-Agent Distributed Adaptive Resource Allocation (MADARA) and Group Autonomy for Mobile Systems (GAMS) open source middleware projects that is intended to be deployed in a multi-agent, multi-functional robotic system called the Keck Institute for Space Studies Multi-Planetary Smart Tile. We discuss our solution approaches to addressing scalability and quality-of-service in deployments of multi-agent systems, codifying group intelligence in hostile space environments, portability for future missions and systems, and assurance and verification of software controllers and algorithms.

[1]  Aniruddha S. Gokhale,et al.  Design of a Scalable Reasoning Engine for Distributed, Real-Time and Embedded Systems , 2011, KSEM.

[2]  Sagar Chaki,et al.  Toward parameterized verification of synchronous distributed applications , 2014, SPIN.

[3]  G. Pardo-Castellote,et al.  OMG data distribution service: architectural overview , 2003, IEEE Military Communications Conference, 2003. MILCOM 2003..

[4]  Sagar Chaki,et al.  Input Attribution for Statistical Model Checking Using Logistic Regression , 2016, RV.

[5]  Daniel Mandl,et al.  Flow-enablement of the NASA SensorWeb using RESTful (and secure) workflows , 2009, 2009 IEEE Aerospace conference.

[6]  Julie A. Adams,et al.  Extensible collaborative autonomy using GAMS , 2016, SAC.

[7]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[8]  Sagar Chaki,et al.  Model-Driven Verifying Compilation of Synchronous Distributed Applications , 2014, MoDELS.

[9]  Daniel P. Siewiorek,et al.  Robustness testing and hardening of CORBA ORB implementations , 2001, 2001 International Conference on Dependable Systems and Networks.

[10]  Edmund M. Clarke,et al.  Statistical Model Checking for Cyber-Physical Systems , 2011, ATVA.

[11]  Håkan L. S. Younes,et al.  Verification and planning for stochastic processes with asynchronous events , 2004 .

[12]  Chao Yang,et al.  RESTFul based heterogeneous Geoprocessing workflow interoperation for Sensor Web Service , 2012, Comput. Geosci..

[13]  Sagar Chaki,et al.  High Assurance for Distributed Cyber Physical Systems , 2015, ECSA Workshops.

[14]  Sagar Chaki,et al.  Statistical Model Checking of Distributed Adaptive Real-Time Software , 2015, RV.