Towards a Quantitative Method for Assuring Coordinated Autonomy
May 2013 • Conference Paper
This article introduces a reliability engineering assurance approach based on probabilistic model checking.
Software Engineering Institute
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.