scholarly journals Creation of Assurance Case Using Collaboration Diagram

Author(s):  
Takuya Saruwatari ◽  
Shuichiro Yamamoto
Author(s):  
John Knight ◽  
Jonathan Rowanhill ◽  
Uma Ferrell ◽  
Alec Bateman ◽  
Neha Gandhi

2017 ◽  
Vol 25 (3) ◽  
pp. 435-499 ◽  
Author(s):  
Ewen Denney ◽  
Ganesh Pai

Author(s):  
JOHN ANIL SALDHANA ◽  
SOL M. SHATZ ◽  
ZHAOXIA HU

UML, being the industry standard as a common OO modeling language, needs a well-defined semantic base for its notation. Formalization of the graphical notation enables automated processing and analysis tasks. This paper describes a methodology for synthesis of a Petri net model from UML diagrams. The approach is based on deriving Object Net Models from UML statechart diagrams and connecting these object models based on UML collaboration diagram information. The resulting system-level Petri net model can be used as a foundation for formal Petri net analysis and simulation techniques. The methodology is illustrated on some small examples and a larger case study. The case study reveals some unexpected invalid system-state situations.


2020 ◽  
pp. 610-619
Author(s):  
Vladimir Sklyar ◽  
Vyacheslav Kharchenko

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.


Author(s):  
Hiroyuki Utsunomiya . ◽  
Nobuhide Kobayashi . ◽  
Shuji Morisaki . ◽  
Shuichiro Yamamoto .
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document