Paper Info
Title
Structured Argumentation for Assurance Case of Monitoring System based on UAVs
Abstract
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.
Year
DOI
Venue
2020
10.1109/DESSERT50317.2020.9125005
2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT)
Keywords
DocType
ISBN
assurance case,post-accident monitoring system,unmanned aircraft system,unmanned aircraft vehicle
Conference
978-1-7281-9957-3
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Vladimir V. Sklyar1114.74
Vyacheslav Kharchenko211325.59