A reliability analysis method using binary decision diagrams in phased mission planning

Abstract

The use of autonomous systems is becoming increasingly common in many fields. A significant example of this is the ambition to deploy unmanned aerial vehicles (UAVs) for both civil and military applications. In order for autonomous systems such as these to operate effectively, they must be capable of making decisions regarding the appropriate future course of their mission responding to changes in circumstance in as short a time as possible. The systems will typically perform phased missions and, owing to the uncertain nature of the environments in which the systems operate, the mission objectives may be subject to change at short notice. The ability to evaluate the different possible mission configurations is crucial in making the right decision about the mission tasks that should be performed in order to give the highest possible probability of mission success. Because binary decision diagrams (BDDs) may be quickly and accurately quantified to give measures of the system reliability it is anticipated that they are the most appropriate analysis tools to form the basis of a reliability-based prognostics methodology. The current paper presents a new BDD-based approach for phased mission analysis, which seeks to take advantage of the proven fast analysis characteristics of the BDD and enhance it in ways that are suited to the demands of a decision-making capability for autonomous systems. The BDD approach presented allows BDDs representing the failure causes in the different phases of a mission to be constructed quickly by treating component failures in different phases of the mission as separate variables. This allows flexibility when building mission phase failure BDDs because a global variable ordering scheme is not required. An alternative representation of component states in time intervals allows the dependencies to be efficiently dealt with during the quantification process. Nodes in the BDD can represent components with any number of failure modes or factors external to the system that could affect its behaviour, such as the weather. Path simplification rules and quantification rules are developed that allow the calculation of phase failure probabilities for this new BDD approach. The proposed method provides a phased mission analysis technique that allows the rapid construction of reliability models for phased missions and, with the use of BDDs, rapid quantification.