2017

  Assurance cases, and safety cases in particular, often refer to the specific elements of the system for which safety and other properties are argued. All the references should be precisely and unambiguously specified. The solution which would ensure the completeness and correctness of the relations can be based on formal connection of argument elements […]

We will present the current status of our work on safety case patterns integration with system models.