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

Digital Library

Conference Paper

Towards a Quantitative Method for Assuring Coordinated Autonomy

  • May 2013
  • By Sagar Chaki, Joseph Giampapa
  • 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