Software adaptation for an unmanned undersea vehicle

Research output: Contribution to journal › Article

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

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

David Parker, 6 Apr 2020, (Accepted/In press) 32nd International Conference on Computer Aided Verification (CAV 2020), Proceedings. Springer, 12 p. (Lecture Notes in Computer Science).

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

Verification and control of turn-based probabilistic real-time games

David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

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

Equilibria-based probabilistic model checking for concurrent stochastic games

David Parker, 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science; vol. 11800)(Programming and Software Engineering; vol. 11800).

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