Models for assurance cases

  • GSN Editor for Assurance Cases
  • Integration with AF3 system models

Modularity

  • Support of a modular reasoning
  • Modular construction and argumentation principles based on AF3 system models, reflecting current requirements from the safety domain

Patterns

  • Pattern-based safety cases library