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