skip to main content
10.1145/2695664.2696029acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
short-paper

NVL: a coordination language for unmanned vehicle networks

Published: 13 April 2015 Publication History

Abstract

The coordinated use of multiple unmanned vehicles over a network can be employed for numerous real-world applications. However, multi-vehicle operations are often deployed through a patchwork of separate components that informally "glue" together during operation, as they are hard to program as a "whole". With this aim, we developed the Networked Vehicles' Language (NVL) for coordinated control of unmanned vehicle networks. A single NVL program expresses an on-the-fly selection of multiple vehicles and their allocation to cooperative tasks, subject to time, precedence, and concurrency constraints. We present the language through an example application involving unmanned underwater vehicles (UUVs) and unmanned aerial vehicles (UAVs), the core design and implementation traits, and results from simulation and field test experiments.

References

[1]
J. Bellingham and K. Rajan. Robotics in remote and hostile environments. Science, 318(5853):1098--1102, 2007.
[2]
L. Bettini. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing, 2014.
[3]
P. Charles, C. Grothoff, V. Saraswat, C. Donawa, A. Kielstra, K. Ebcioglu, C. von Praun, and V. Sarkar. X10: An Object-oriented Approach to Non-uniform Cluster Computing. In Proc. OOPSLA. ACM, 2005.
[4]
T. Cogumbreiro, F. Martins, and V. T. Vasconcelos. Coordinating phased activities while maintaining progress. In Proc. COORDINATION. Springer, 2013.
[5]
P. Derler, E. Lee, S. Tripakis, and M. Törngren. Cyber-physical system design contracts. In Proc. ICCCPS. ACM, 2013.
[6]
M. Dunbabin and L. Marques. Robots for environmental monitoring: Significant advancements and applications. IEEE Robotics Automation Magazine, 19(1):24--39, 2012.
[7]
J. Eidson, E. Lee, S. Matic, S. Seshia, and J. Zou. Distributed Real-Time Software for Cyber--Physical Systems. Proc. IEEE, 100(1):45--59, 2012.
[8]
M. Faria, J. Pinto, F. Py, J. Fortuna, H. Dias, R. Martins, F. Leira, T. Johansen, J. Sousa, and K. Rajan. Coordinating UAVs and AUVs for Oceanographic Field Experiments: Challenges and Lessons Learned. In Proc. ICRA, 2014.
[9]
T. Henzinger, C. Kirsch, E. Marques, and A. Sokolova. Distributed, modular HTL. In Proc. RTSS. IEEE CS, 2009.
[10]
S. Imam and V. Sarkar. Habanero-Java Library: A Java 8 Framework for Multicore Programming. In Proc. PPPJ. ACM, 2014.
[11]
A. Isern and H. Clark. The Ocean Observatories Initiative: A continued presence for interactive ocean research. Marine Technology Society Journal, 37(3):26--41, 2003.
[12]
J. Love, J. Jariyasunant, E. Pereira, M. Zennaro, K. Hedrick, C. Kirsch, and R. Sengupta. CSL: A Language to Specify and Re-Specify Mobile Sensor Network Behaviors. In Proc. RTAS. IEEE, 2014.
[13]
L. Madureira, A. Sousa, J. Braga, P. Calado, P. Dias, R. Martins, J. Pinto, and J. Sousa. The Light Autonomous Underwater Vehicle: Evolutions and networking. In Proc. Oceans. IEEE, 2013.
[14]
E. Pereira, C. Kirsch, R. Sengupta, and J. Sousa. BigActors - A Model for Structure-aware Computation. In Proc. ICCPS. ACM, 2013.
[15]
C. Petrioli, R. Petroccia, J. Potter, and D. Spaccini. The SUNSET framework for simulation, emulation and at-sea testing of underwater wireless sensor networks. Ad Hoc Networks and Physical Communication, 2014.
[16]
J. Pinto, P. Dias, R. Martins, J. Fortuna, E. Marques, and J. Sousa. The LSTS Toolchain for Networked Vehicle Systems. In Proc. Oceans. IEEE, 2013.
[17]
H. Shahir, U. Glässer, R. Farahbod, P. Jackson, and H. Wehn. Generating test cases for marine safety and security scenarios: a composition framework. Security Informatics, 1(1):1--21, 2012.
[18]
J. Sousa, T. Simsek, and P. Varaiya. Task planning and execution for UAV teams. In Proc. CDC. IEEE, 2004.

Cited By

View all
  • (2024)Evaluation and Testing in Operational Environments: Accelerating Development Cycles for Maritime Unmanned SystemsJournal of Marine Science and Engineering10.3390/jmse1301005113:1(51)Online publication date: 31-Dec-2024
  • (2023)An improved Actor-based programming framework for simultaneous management of multiple heterogeneous robot swarms2023 IEEE International Conference on Robotics and Biomimetics (ROBIO)10.1109/ROBIO58561.2023.10354588(1-8)Online publication date: 4-Dec-2023
  • (2021)The Resh Programming Language for Multirobot Orchestration2021 IEEE International Conference on Robotics and Automation (ICRA)10.1109/ICRA48506.2021.9561133(4026-4032)Online publication date: 30-May-2021
  • Show More Cited By

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing
April 2015
2418 pages
ISBN:9781450331968
DOI:10.1145/2695664
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 April 2015

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Short-paper

Conference

SAC 2015
Sponsor:
SAC 2015: Symposium on Applied Computing
April 13 - 17, 2015
Salamanca, Spain

Acceptance Rates

SAC '15 Paper Acceptance Rate 291 of 1,211 submissions, 24%;
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Evaluation and Testing in Operational Environments: Accelerating Development Cycles for Maritime Unmanned SystemsJournal of Marine Science and Engineering10.3390/jmse1301005113:1(51)Online publication date: 31-Dec-2024
  • (2023)An improved Actor-based programming framework for simultaneous management of multiple heterogeneous robot swarms2023 IEEE International Conference on Robotics and Biomimetics (ROBIO)10.1109/ROBIO58561.2023.10354588(1-8)Online publication date: 4-Dec-2023
  • (2021)The Resh Programming Language for Multirobot Orchestration2021 IEEE International Conference on Robotics and Automation (ICRA)10.1109/ICRA48506.2021.9561133(4026-4032)Online publication date: 30-May-2021
  • (2020)An Actor-based Programming Framework for Swarm Robotic Systems2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)10.1109/IROS45743.2020.9341198(8012-8019)Online publication date: 24-Oct-2020
  • (2018)Dolphin: A Task Orchestration Language for Autonomous Vehicle Networks2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)10.1109/IROS.2018.8594059(603-610)Online publication date: Oct-2018
  • (2017)Rapid Environmental Picture Atlantic exercise 2016: Field reportOCEANS 2017 - Aberdeen10.1109/OCEANSE.2017.8084800(1-7)Online publication date: Jun-2017

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media