Examples of online assurance cases
Assurance case guidelines
Goal-based conformance control
Research
- A. Wardziński, A. Jarzębowicz, "Automated Generation of Modular Assurance Cases with the System Assurance Reference Model", Formal Aspects of Computing, ACM 2024
- A. Wardziński, A. Jarzębowicz, "Development of the System Assurance Reference Model for Generating Modular Assurance Cases", 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC), pp 99-110, 2023
- J. Górski, A. Wardziński, “Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components”, in Resilience of Cyber-Physical Systems, pp 71-87, 2019
- P. Theron, A. Lazari, "The IACS Cybersecurity Certification Framework (ICCF) - Lessons from the 2017 study of the state of the art", EC JRC, 2018 (Argevide participated in Polish NET working group)
- A. Wardziński, P. Jones, “Uniform Model Interface for Assurance Case Integration with System Models”, ASSURE Workshop at SAFECOMP 2017, pp 39-51, LNCS 10489, 2017
- A. Wardziński, A. Jarzębowicz, ”Towards Safety Case Integration with Hazard Analysis for Medical Devices”, ASSURE Workshop at SAFECOMP 2016, pp 87-98, LNCS 9923, 2016
Free user account
for one project
AI-assisted Assurance Case Development
10.12.2025
View Demo projects
for selected standards