Mechanized Support for Assurance Case Argumentation

2014 ◽  
pp. 304-318 ◽  
Author(s):  
John Rushby
Keyword(s):  
Mechanized Support ◽  
Assurance Case

Integrating an assurance case into DO-178B compliant software development

2015 ◽  
Author(s):  
John Knight ◽  
Jonathan Rowanhill ◽  
Uma Ferrell ◽  
Alec Bateman ◽  
Neha Gandhi
Keyword(s):  
Software Development ◽  
Assurance Case

scholarly journals Tool support for assurance case development

2017 ◽  
Vol 25 (3) ◽  
pp. 435-499 ◽  
Author(s):  
Ewen Denney ◽  
Ganesh Pai
Keyword(s):  
Tool Support ◽  
Case Development ◽  
Assurance Case

scholarly journals ASSURANCE CASE FOR SAFETY AND SECURITY IMPLEMENTATION: A SURVEY OF APPLICATIONS

2020 ◽  
pp. 610-619
Author(s):  
Vladimir Sklyar ◽  
Vyacheslav Kharchenko
Keyword(s):  
Regulatory Regime ◽  
Critical Systems ◽  
Regulatory Requirements ◽  
Security Assurance ◽  
Case Methodology ◽  
Case Application ◽  
The Uk ◽  
Confirmation Analysis ◽  
Case Based ◽  
Assurance Case

This paper presents a survey of Assurance Case implementation for applications which are not directly related to the usual for Assurance Case regulatory regime. The UK is the country which first developed the theory of Assurance Case as a response to big catastrophes, and most applies Assurance Case regime for many industrial domains. USA, Australia and EU countries apply Assurance Case approach for safety and security regulation and licensing. For the last two decades Assurance Case has been used mostly for confirmation analysis of critical systems with established set of regulatory requirements. There are proven standards of use, notations and tools to support Assurance Case methodology. However, many researchers have tried to find approach to expand Assurance Case application to communicating domains. We group the following directions of Assurance Case applications as the following ones: Assurance Case for attributes assessment such as quality, dependability and, first of all, safety and security, Assurance Case based certification, improvement of argumentation, assurance based development, and Assurance Case for knowledge management. The main challenges and solutions of development and application of Assurance Case methodology, techniques and tools have been analyzed.

scholarly journals A Tool to Create Assurance Case through Models

2018 ◽  
Vol 6 (2) ◽  
Author(s):  
Hiroyuki Utsunomiya . ◽  
Nobuhide Kobayashi . ◽  
Shuji Morisaki . ◽  
Shuichiro Yamamoto .
Keyword(s):  
Assurance Case
Sign in / Sign up

Export Citation Format

Share Document