Argumentacje wiarygodności - Assurance cases
Prace badawcze
Współpracujemy z Politechniką Gdańską w realizacji projektów badawczo-rozwojowych.
Opublikowaliśmy następujące artykuły:
- 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
Darmowe konto
na jeden projekt
Samoocena
zgodności z ISO 27001
Darmowy demonstrator projektu
dla wybranego standardu