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.
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.
In: 20th Conference on Pattern Languages of Programs,
PLoP '13,
USA,
pp. 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.
In: WoSoCer,
doi:10.1109/ISSREW.2019.00093.
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.
In: FHIES 9062.
Springer,
pp. 64–80,
doi: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.
In: SAFECOMP,
doi:10.1007/978-3-319-66266-4_20.
T. Eiter, G. Gottlob & H. Mannila (1997):
Disjunctive Datalog.
ACM Trans. Database Syst. 22(3),
doi:10.1145/116825.116838.
M. Gelfond & V. Lifschitz (1990):
Logic Programs with Classical Negation.
In: ICLP,
pp. 579–597.
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.
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.
P. Helle (2012):
Automatic SysML-Based Safety Analysis.
In: ACES-MB,
pp. 19–24,
doi:10.1145/2432631.2432635.
ISO (2011):
ISO 26262, Road vehicles — Functional safety - Part 6: Product Development: Software Level.
Available at 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.
In: WoSoCer,
doi: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,
pp. 499–562,
doi: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),
pp. 1–35,
doi: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.
In: DASC,
doi:10.1109/DASC.2014.6979473.
V. Nigam, A. Pretschner & H. Ruess (2018):
Model-Based Safety and Security Engineering.
Available at 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.
In: Meditech.