References

1. AF3 – AutoFOCUS 3. Available at https://af3.fortiss.org/.
2. Fault Tree Analysis – FT +. Available at https://tinyurl.com/faulttreean.
3. J. P. C. Ardila, B. Gallina & G. Governatori (2018): Lessons Learned while Formalizing ISO 26262 for Compliance Checking. In: 2nd Workshop on TeReCom - Tech. for Regulatory Compliance, pp. 5–16.
4. C. Baral (2010): Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
5. C. Kreiner C. Preschern, N. Kajtazovic (2013): Security Analysis of Safety Patterns. In: 20th Conference on Pattern Languages of Programs, PLoP '13, USA, pp. 12:1–12:38.
6. C. Cârlan, V. Nigam, A. Tsalidis & S. Voss (2019): ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models. In: WoSoCer, doi:10.1109/ISSREW.2019.00093.
7. GSN Community (2011): GSN Community Standard Version 1. Available at http://www.goalstructuringnotation.info/documents/GSN_Standard.pdf.
8. F. Crawley & B. Tyler (2015): HAZOP: Guide to Best Practice.
9. L. Duan, S. Rayadurgam, M. P. E. Heimdahl, A. Ayoub, O. Sokolsky & I. Lee (2014): Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. In: FHIES 9062. Springer, pp. 64–80, doi:10.1007/978-3-319-63194-3_5.
10. J. Dürrwang, K. Beckers & R. Kriesten (2017): A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain. In: SAFECOMP, doi:10.1007/978-3-319-66266-4_20.
11. T. Eiter, G. Gottlob & H. Mannila (1997): Disjunctive Datalog. ACM Trans. Database Syst. 22(3), doi:10.1145/116825.116838.
12. M. Gelfond & V. Lifschitz (1990): Logic Programs with Classical Negation. In: ICLP, pp. 579–597.
13. M. Gleirscher & C. Cârlan (2017): Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. In: HASE, pp. 53–60, doi:10.1109/HASE.2017.15.
14. S. A. Gómez, A. Goron & A. Groza (2014): Assuring Safety in an Air Traffic Control System with Defeasible Logic Programming. In: 15th Argentine Symposium on Articial Intelligence, ASAI.
15. P. Helle (2012): Automatic SysML-Based Safety Analysis. In: ACES-MB, pp. 19–24, doi:10.1145/2432631.2432635.
16. SAE International (1996): Standard ARP 4761: Guidelines and Methods for Conducting the Safety Assessment. Available at https://www.sae.org/standards/content/arp4761/.
17. SAE International (2011): ARP 4754a: Guidelines for Development of Civil Aircraft and Systems. Available at https://www.sae.org/standards/content/arp4754a/.
18. ISO (2011): ISO 26262, Road vehicles — Functional safety - Part 6: Product Development: Software Level. Available at https://www.iso.org/standard/43464.html.
19. A. Kondeva, C. Carlan, H. Ruess & V. Nigam (2019): On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. In: WoSoCer, doi:10.1109/ISSREW.2019.00095.
20. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri & F. Scarcello (2006): The DLV System for Knowledge Representation and Reasoning. ACM Trans. Comput. Logic 7, pp. 499–562, doi:10.1145/1149114.1149117.
21. N. Leveson & J. Thomas (2018): STPA Handbook.
22. H. Martin, Z. Ma, Ch. Schmittner, B. Winkler, M. Krammer, D. Schneider, T. Amorim, G. Macher & Ch. Kreiner (2020): Combined automotive safety and security pattern engineering approach. Reliability Engineering & System Safety 198(2), pp. 1–35, doi:10.4018/jsse.2012040101.
23. H. L. V. De Matos, A. M. da Cunha & L. A. V. Dias (2014): Using Design Patterns for Safety Assessment of Integrated Modular Avionics. In: DASC, doi:10.1109/DASC.2014.6979473.
24. Defence UK Ministry (2007): Safety Management Requirements for Defence Systems. Available at https://www.skybrary.aero/bookshelf/books/344.pdf.
25. V. Nigam, A. Pretschner & H. Ruess (2018): Model-Based Safety and Security Engineering. Available at https://arxiv.org/abs/1810.04866. White Paper.
26. Gomez S.A., Groza A. & Chesnevar C.I. (2014): An Argumentative Approach to Assessing Safety in Medical Device Software Using Defeasible Logic Programming. In: Meditech.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org