search menu icon-carat-right cmu-wordmark

Towards a Quantitative Method for Assuring Coordinated Autonomy

May 2013 Conference Paper
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.