Search results for: ARGUMENT PATTERN

• Towards Safety Case Integration with Hazard Analysis for Medical Devices

  Publication

  • A. Wardziński
  • A. Jarzębowicz

  - Year 2016

  Safety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking table which represents references to system...

  Full text available to download

• Uniform Model Interface for Assurance Case Integration with System Models

  Publication

  • A. Wardziński
  • P. Jones

  - Year 2017

  Assurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...

  Full text available to download