Wyniki wyszukiwania dla: argument pattern

• Towards Safety Case Integration with Hazard Analysis for Medical Devices

  Publikacja

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

  - Rok 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...

  Pełny tekst do pobrania w portalu

• Uniform Model Interface for Assurance Case Integration with System Models

  Publikacja

  • A. Wardziński
  • P. Jones

  - Rok 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...

  Pełny tekst do pobrania w portalu