Structured Argumentation for Assurance Case of Monitoring System based on UAVs

摘要

In this paper we propose to apply structured argumentation for Assurance Case methodology to continue developing a concept of licensing for Nuclear Power Plants PostAccident Monitoring System (PAMS) based on Unmanned Aircraft Vehicles (UAVs). We obtained the structured argumentation method including the following: the new overall algorithm of the Assurance Case development; the new proposed structure of the Assurance Case graph, which is based on the typical structure of the arguments and is developed in connection with the structured text of the description of these arguments; the improved structured text templates for arguments description. The obtained method can be used as the basis of the appropriated argumentation framework supported with a set of formal operations performed with the Assurance Case graph and supported structural text. The obtained practical and theoretical results may be used for any kinds of safety and security critical systems and applications.