Abstract
Programming autonomous systems can be challenging because many programming decisions must be made in real time and under stressful conditions, such as on a battle field, during a short communication window, or during a storm at sea. As such, new programming designs are needed to reflect these specific and extreme challenges.
TrilobiteG is a programming architecture for buoyancy-driven autonomous underwater vehicles (AUVs), called gliders. Gliders are designed to spend weeks to months in the ocean, where they operate fully autonomously while submerged and can only communicate via satellite during their limited time at the surface. Based on the experience gained from a seven year long collaboration with two oceanographic institutes, the TrilobiteG architecture has been developed with the main goal of enabling users to run more effective missions. The TrilobiteG programming environment consists of a domain-specific language called ALGAE, a lower level service layer, and a set of real-time and faster-than-real-time simulators. The system has been used to program novel and robust glider behaviors, as well as to find software problems that otherwise may have remained undetected, with potentially catastrophic results. We believe that TrilobiteG can serve as a blueprint for other autonomous systems as well, and that TrilobiteG will motivate and enable a broader scientific community to work on extreme, real-world problems by using the simulation infrastructure.
- A. Alvarez, A. Cait, and R. Onken. Evolutionary path planning for autonomous underwater vehicles in a variable ocean. Oceanic Engineering, IEEE Journal of, 29(2):418--429, April 2004.Google Scholar
- A. Alvarez, R. Stoner, and A. Maguer. Performance of pumped and un-pumped CTDs in an underwater glider. In OCEANS 2013 IEEE - San Diego, pages 1--5, 2013.Google Scholar
- W. Baek and T. M. Chilimbi. Green: a framework for supporting energy-conscious programming using controlled approximation. In Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation, PLDI '10, pages 198--209, 2010. Google Scholar
Digital Library
- M. R. Benjamin, H. Schmidt, P. M. Newman, and J. J. Leonard. Nested autonomy for unmanned marine vehicles with MOOS-IvP. Journal of Field Robotics, 27(6):834--875, 2010.Google Scholar
Cross Ref
- R. I. Carnegie Mellon Robotics Academy. RobotC. http//www.robotc.net.Google Scholar
- B. Claus, R. Bachmayer, and C. D. Williams. Development of an auxiliary propulsion module for an autonomous underwater glider. In Proceedings of the Institution of Mechanical Engineers, Part M: Journal of Engineering for the Maritime Environment, November 2010.Google Scholar
- N. Cruz and A. Matos. Adaptive sampling of thermoclines with autonomous underwater vehicles. In MTS/IEEE OCEANS 2010 - Seattle, WA, September 2010.Google Scholar
Cross Ref
- D. Davis. Automated parsing and conversion of vehicle-specific data into autonomous vehicle control language (avcl) using context-free grammars and xml data binding. In 14th International Symposium on Unmanned Untethered Submersible Technology (UUST), Durham, New Hampshire, August 2005.Google Scholar
- D. Davis and D. Brutzman. The autonomous unmanned vehicle workbench: Mission planning, mission rehearsal, and mission replay tool for physics-based x3d visualization. In 14th International Symposium on Unmanned Untethered Submersible Technology (UUST), Durham, New Hampshire, August 2005.Google Scholar
- P. Dias, S. Fraga, R. Gomes, G. Goncalves, F. Pereira, J. Pinto, and J. Sousa. Neptus - a framework to support multiple vehicle operation. In MTS/IEEE Oceans 2005 - Europe, volume 2, pages 963 -- 968 Vol. 2, 20--23 2005.Google Scholar
Cross Ref
- P. Dias, G. Goncalves, R. Gomes, J. Sousa, J. Pinto, and F. Pereira. Mission planning and specification in the neptus framework. In Robotics and Automation, 2006. ICRA 2006. Proceedings 2006 IEEE International Conference on, pages 3220--3225, 15-19 2006.Google Scholar
Cross Ref
- E. Dijkstra. Go To statement considered harmful. Communications of the ACM, 11(3):147 -- 148, March 1968. Google Scholar
Digital Library
- C. Duarte and B. Werger. Defining a common control language for multiple autonomous vehicle operation. In OCEANS 2000 MTS/IEEE Conference and Exhibition, volume 3, pages 1861--1867 vol.3, 2000. .Google Scholar
Cross Ref
- C. Duarte, G. Martel, E. Eberbach, and C. Buzzell. Talk amongst yourselves: getting multiple autonomous vehicles to cooperate. In Autonomous Underwater Vehicles, 2004 IEEE/OES, pages 96--101, 2004.Google Scholar
Cross Ref
- C. N. Duarte, G. R. Martel, C. Buzzell, D. Crimmins, R. Komerska, S. Mupparapu, S. Chappell, D. R. Blidberg, and R. Nitzel. A common control language to support multiple cooperating AUVs. In Proceedings of the 14th International Symposium on Unmanned Untethered Submersible Technology, 2005.Google Scholar
- E. Eberbach, C. Duarte, C. Buzzell, and G. Martel. A portable language for control of multiple autonomous vehicles and distributed problem solving. In Proc. of the 2nd Intern. Conf. on Computational Intelligence, Robotics and Autonomous Systems CIRAS, volume 3, pages 15--18, 2003.Google Scholar
- M. Eichhorn. Optimal Path Planning for AUVs in Time-Varying Ocean Flows. In 16th Symposium on Unmanned Untethered Submersible Technology (UUST09), Durham NH, USA, August 23--26 2009.Google Scholar
- C. C. Eriksen, T. J. Osse, R. D. Light, T. Wen, T. W. Lehman, P. L. Sabin, J. W. Ballard, and A. M. Chiodi. Seaglider: A long-range autonomous underwater vehicle for oceanographic research. In IEEE Journal of Oceanic Engineering, volume 26, October 2001.Google Scholar
Cross Ref
- S. Glenn, O. Schofield, J. Kohut, J. McDonnell, R. L. D. Seidel, D. Aragon, T. Haskins, E. Handel, C. Haldeman, I. Heifetz, J. Kerfoot, E. Lemus, S. Lictenwalner, L. Ojanen, J. Roarty, F. Carvalho, A. Lopez, A. Martin, C. Jones, D. Webb, J. Miller, M. Lewis, S. McLean, A. Martins, C. Barrera, A. Ramos, and E. Fanjul. The trans-atlantic Slocum glider expeditions: A catalyst for undergraduate participation in ocean science and technology. Marine Technology Society Journal, 45(1):52--67, January/February 2011.Google Scholar
Cross Ref
- M. Godin, J. Bellingham, B. Kieft, and R. McEwen. Scripting language for state configured layered control of the tethys long range autonomous underwater vehicle. In OCEANS 2010, pages 1--7, 2010.Google Scholar
Cross Ref
- B.W. Hobson, J. G. Bellingham, B. Kieft, R. McEwen, M. Godin, and Y. Zhang. Tethys-class long range AUVs - extending the endurance of propeller-driven cruising AUVs from days to weeks. In Proceedings of IEEE-OES AUV Symposium. Southampton, U.K., September 2012.Google Scholar
Cross Ref
- HYCOM consortium. Hycom. http://www.hycom.org/.Google Scholar
- N. Instruments. Labview Robotics. http//www.ni.com/robotics.Google Scholar
- R. J. Komerska and S. G. Chappell. AUV common control language (CCL)--a proposed standard language and framework for AUV monitoring & control layer 1--CCL vocabulary and message set specification. 2007.Google Scholar
- A. Lachenmann, P. J. Marrón, D. Minder, and K. Rothermel. Meeting lifetime goals with energy levels. In Proceedings of the 5th international conference on Embedded networked sensor systems, SenSys '07, pages 131--144, 2007. Google Scholar
Digital Library
- J. Mare. Path following algorithm for minimally specified lawn-mower type AUV missions. In OCEANS 2010 IEEE - Sydney, 2010.Google Scholar
Cross Ref
- S. Mupparapu, S. Chappell, R. Komerska, D. Blidberg, R. Nitzel, C. Benton, D. Popa, and A. Sanderson. Autonomous systems monitoring and control (asmac) - an auv fleet controller. In Autonomous Underwater Vehicles, 2004 IEEE/OES, pages 119--126, 2004.Google Scholar
Cross Ref
- B. D. Noble, M. Satyanarayanan, D. Narayanan, J. E. Tilton, J. Flinn, and K. R. Walker. Agile application-aware adaptation for mobility. In Proceedings of the sixteenth ACM symposium on Operating systems principles, SOSP '97, pages 276--287, 1997. Google Scholar
Digital Library
- Open Source Robotics Foundation. Robot Operating System (ROS). http//www.ros.org.Google Scholar
- Persistor Instruments Inc. Cf1 computer system. Marstons Mills, MA. http://www.persistor.com.Google Scholar
- S. Petillo, A. Balasuriya, and H. Schmidt. Autonomous adaptive environmental assessment and feature tracking via autonomous underwater vehicles. In IEEE OCEANS 2010 - Sydney, Australia, May 2010.Google Scholar
Cross Ref
- D. Rao and S. B. Williams. Large-scale path planning for underwater gliders in ocean currents. In Australasian Conference on Robotics and Automation (ACRA), Sydney, Australia, December 2009.Google Scholar
- O. Schofield, J. Kohut, D. Aragon, L. Creed, J. Graver, C. Haldeman, J. Kerfoot, H. Roarty, C. Jones, D. Webb, and S. Glenn. Slocum gliders: Robust and ready. Journal of Field Robotics, 24(6):473--485, 2007. Google Scholar
Digital Library
- A. Shchepetkin and J. McWilliams. The regional oceanic modeling system (roms): a split-explicit, free-surface, topography-following-coordinate oceanic model. In Ocean Modelling, volume 9, pages 347--404, 2005.Google Scholar
Cross Ref
- J. Sherman, R. E. Davis, W. Owens, and J. Valdes. The autonomous underwater glider Spray. In IEEE Journal of Oceanic Engineering, volume 26, October 2001.Google Scholar
Cross Ref
- J. Sorber, A. Kostadinov, M. Garber, M. Brennan, M. D. Corner, and E. D. Berger. Eon: a language and runtime system for perpetual systems. In Proceedings of the 5th international conference on Embedded networked sensor systems, SenSys '07, pages 161--174, 2007. Google Scholar
Digital Library
- Teledyne Webb Research. Slocum Glider. Falmouth, MA, 2013. http//www.webbresearch.com/slocum.htm.Google Scholar
- D. Wang, P. F. Lermusiaux, P. J. Haley, D. Eickstedt, W. G. Leslie, and H. Schmidt. Acoustically focused adaptive sampling and on-board routing for marine rapid environmental assessment. Journal of Marine Systems, 78(Supplement 1):S393 -- S407, 2009.Google Scholar
- H. Woithe and U. Kremer. Feature based adaptive energy management of sensors on autonomous underwater vehicles. Ocean Engineering, 97(3):21 -- 29, March 2015.Google Scholar
Cross Ref
- H. Woithe and U. Kremer. A programming architecture for smart autonomous underwater vehicles. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2009 - St. Louis, MO, October 2009. Google Scholar
Digital Library
- H. Woithe, I. Chigirev, D. Aragon, M. Iqbal, Y. Shames, S. Glenn, O. Schofield, I. Seskar, and U. Kremer. Slocum glider energy measurement and simulation infrastructure. In OCEANS 2010 IEEE - Sydney, 2010.Google Scholar
Cross Ref
- H. C. Woithe, W. Brozas, C. Wills, B. Pichai, U. Kremer, M. Eichhorn, and M. Riepen. Enabling computation intensive applications in battery-operated cyber-physical systems. In MARC Symposium, pages 34--39, July 2012.Google Scholar
- Y. Zhang, J. Bellingham, M. Godin, and J. Ryan. Using an autonomous underwater vehicle to track the thermocline based on peak-gradient detection. IEEE Journal of Oceanic Engineering, 37(3), July 2012.Google Scholar
Index Terms
TrilobiteG: A programming architecture for autonomous underwater vehicles
Recommendations
TrilobiteG: A programming architecture for autonomous underwater vehicles
LCTES'15: Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROMProgramming autonomous systems can be challenging because many programming decisions must be made in real time and under stressful conditions, such as on a battle field, during a short communication window, or during a storm at sea. As such, new ...
Interannual variation of bigeye tuna Thunnus obesus hotspots in the eastern Indian Ocean off Java
Ocean remote sensing for sustainable resourcesRemotely derived environmental variables, including sea surface height anomaly SSHA, sea surface temperature SST, chlorophyll-a chl-a, eddy kinetic energy EKE, mixed layer data set of argo float MLD, Niño 3.4 index, and bigeye tuna catch data for the ...
Submerged breakwater hydrodynamic modeling for wave dissipation and coral restorer structure
ICBBE '16: Proceedings of the 3rd International Conference on Biomedical and Bioinformatics EngineeringWave transmission is the coastal character resulted from interaction of incident wave and submerged breakwater. Coastal hydrodynamic parameters mainly wave period, wave height and water depth while structural geometry factor such as structural height, ...







Comments