7 May
2021
7 May
'21
4:50 p.m.
Dear all,
I would like to share information about a recent publication by fortiss. Our paper has
been accepted for publication at SSIV+'2021 (Safety and Security of Intelligent
Vehicles), a workshop at DSN 2021. It acknowledges the SPARTA project.
Title:
CyberGSN: A Semi-formal Language for Specifying Safety Cases
Authors:
Tewodros A. Beyene (fortiss, Germany) and Carmen Carlan (fortiss, Germany)
Abstract:
The use of safety cases to explicitly present safety argumentation considerations and
decisions is a common practice in the safety-critical domain. A safety case can be used to
scrutinize the safety assessment approach used by practitioners internally, or as an input
for the certification process for an external certifying authority. However, safety cases
are still created manually using notations such as the Goal Structuring Notation (GSN) to
explicate the followed safety assessment and assurance measures. In addition, although
safety cases may be created in a modular way by multiple entities, and it may be critical
for each entity to digitally sign its part of the assurance for accountability, the common
notations such as GSN are not expressive enough to include the notion of entity.
Especially in cyber-security applications, the notion of entity is very critical. In this
paper, we propose a formal logic based language called CyberGSN, with an explicit notion
of entity, that can be used for specifying safety cases and safety case patterns, enabling
the automated creation and maintenance of safety cases.
Best,
Ulrich
fortiss GmbH
Landesforschungsinstitut des Freistaats Bayern
für softwareintensive Systeme
An-Institut Technische Universität München
Guerickestraße 25, 80805 München, Germany
T: +49 (89) 3603522 166<tel:+49%20(89)%203603522%20166>
F: +49 (89) 3603522 50
schoepp@fortiss.org<mailto:schoepp@fortiss.org>
https://www.fortiss.org/
Amtsgericht München: HRB: 176633
USt-IdNr.: DE263907002, Steuer-Nr.: 143/237/25900
Rechtsform: gemeinnützige GmbH
Sitz der Gesellschaft: München
Geschäftsführer: Dr. Harald Rueß, Thomas Vallon
Vorsitzender des Aufsichtsrats: Dr. Manfred Wolter