Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Conference Paper

Towards a Quantitative Method for Assuring Coordinated Autonomy

  • May 2013
  • By Sagar Chaki4807, Joseph Giampapa2463
  • This article introduces a reliability engineering assurance approach based on probabilistic model checking.
  • Publisher: Software Engineering Institute
  • Abstract

    One of the biggest obstacles to the procurement and deploy-
    ment of coordinated autonomous systems is the diculty of assuring
    them, that is, to set and manage their performance expectations. This
    article introduces a reliability engineering assurance approach based on
    probabilistic model checking. It also introduces two models to guide and
    extend the reliability engineering approach: (1) a characterization of the
    range of autonomous coordination phenomena and (2) phases of a coordi-
    nated mission. Two instances of the models are implemented as discrete
    time Markov chains (DTMC). Results from in-progress validation exper-
    iments with robots are reported, as well. 

  • Download