Software adaptation for an unmanned undersea vehicle

Research output: Contribution to journal › Article › peer-review

Authors

  • Avi Pfeffer
  • Curt Wu
  • Gerald Fry
  • Kenny Lu
  • Steve Marotta
  • Mike Reposa
  • Yuan Shi
  • T. K. Satish Kumar
  • Craig A. Knoblock
  • Irfan Muhammad

Colleges, School and Institutes

External organisations

  • Charles River Analytics
  • University of Southern California Information Sciences Institute

Abstract

Most current software systems are not adaptable, making them less capable of achieving their objectives. We are developing a method to optimize software for new environments automatically. An independent evaluation has demonstrated that this method adapts to degraded sensors, changing environmental conditions, and a loss of power.

Details

Original languageEnglish
Article number8648259
Pages (from-to)91-96
Number of pages6
JournalIEEE Software
Volume36
Issue number2
Early online date21 Feb 2019
Publication statusPublished - 1 Mar 2019

Keywords

  • remotely operated vehicles, underwater vehicles, current software systems, software adaptation, environmental conditions, unmanned undersea vehicle, Software development management, Probabilistic logic, Navigation, Sensor systems, Optimization
Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

Documents

  • Avi_Pfeffer_et_al_Software_adaptation_for_an_unmanned_undersea_vehicle_IEEE_Software_2018

    Rights statement: Checked for eligibility: 22/03/2019 © 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. A. Pfeffer et al., "Software Adaptation for an Unmanned Undersea Vehicle," in IEEE Software, vol. 36, no. 2, pp. 91-96, March-April 2019. doi: 10.1109/MS.2018.2886815

    Accepted author manuscript, 155 KB, PDF document

    Licence: Other (please specify with Rights Statement) Show licence

DOI

By the same authors

Automated formal analysis of side-channel attacks on probabilistic systems

Chris Novakovic & David Parker, 15 Sep 2019, Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I. Sako, K., Schneider, S. & Ryan, P. Y. A. (eds.). Springer, p. 319-337 19 p. (Lecture Notes in Computer Science ; vol. 11735)(Security and Cryptology; vol. 11735).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Automatic verification of concurrent stochastic systems

David Parker, 22 Jan 2021, In: Formal Methods in System Design. 58 p.

Research output: Contribution to journal › Article › peer-review

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

David Parker, 13 Jul 2020, (Accepted/In press) Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20). Springer, 25 p. (Lecture Notes in Comuter Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Multi-player Equilibria Verification for Concurrent Stochastic Games

David Parker, 19 Jun 2020, (Accepted/In press) Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST'20). Springer, 21 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution