Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Cover of the book

2015 | OriginalPaper | Chapter

Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic

Authors : Victor Bandur, John McDermid

Published in: Computer Safety, Reliability, and Security

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

A formalization of a logical subset of Goal Structuring Notation (GSN) arguments is presented. The aim is to reveal the conditions which must be true in order to guarantee that an argument thus formalized is internally consistent. These conditions justify a number of systematic questions which must be answered in the affirmative if a standard safety argument based on natural language is to be believed to be free from inconsistencies. The relevance of these findings to the combination of GSN and controlled natural language with first-order logic semantics is discussed.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
next chapter Representing Confidence in Assurance Case Evidence
Footnotes
1
The notion of refinement used here is based on the notion from the Z [11] and B [1] methods for systematic software development.
 
2
The context \(\{\varGamma _1, \ldots , \varGamma _n\}\) is formed by combining all the definitions and axioms of the constituent contexts, many of which may be redundant.
 
Literature
1.
Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)MATH
2.
Basir, N., Denney, E., Fischer, B.: Deriving safety cases from automatically constructed proofs. In: Proceedings of the 4th International Conference on System Safety, IET (2009)
3.
Eriksson, L.-H.: Using formal methods in a retrospective safety case. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 31–44. Springer, Heidelberg (2004) CrossRef
4.
Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, p. 167. Springer, Heidelberg (2002) CrossRef
5.
6.
7.
Hall, J.G., Mannering, D., Rapanotti, L.: Arguing safety with problem oriented software engineering. In: High Assurance Systems Engineering Symposium, pp. 23–32. IEEE (2007)
8.
9.
Rushby, J.: Formalism in safety cases. In: Dale, C., Anderson, T. (eds.) Making Systems Safer, pp. 3–17. Springer, Heidelberg (2010) CrossRef
10.
11.
Woodcock, J., Davies, J.: Using Z. Specification, Refinement, and Proof. Prentice-Hall, Upper Saddle River (1996) MATH
Metadata
Title
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic
Authors
Victor Bandur
John McDermid
Copyright Year
2015
Book
Computer Safety, Reliability, and Security

Print ISBN: 978-3-319-24248-4

Electronic ISBN: 978-3-319-24249-1

Copyright Year: 2015

DOI
https://doi.org/10.1007/978-3-319-24249-1_1

Premium Partner

    Image Credits