Skip to main content

2012 | OriginalPaper | Buchkapitel

15. A Brief on Modular GSN

verfasst von : John Spriggs

Erschienen in: GSN - The Goal Structuring Notation

Verlag: Springer London

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Dr Tim Kelly formalised the Goal Structuring Notation for safety assurance and, in 1998, published it in his University of York doctoral thesis. Since then, development work has continued at York, and elsewhere. This chapter briefly summarises one of those developments, the concept of modular arguments; my intention is to give you enough to decide whether you want to find out more. No problems are set.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Literatur
Zurück zum Zitat Industrial Avionics Working Group (2007) Modular software safety case process; published in two parts, A—process definition, B—guidance, IAWG-AJT-301, Issue 2, 2007 Industrial Avionics Working Group (2007) Modular software safety case process; published in two parts, A—process definition, B—guidance, IAWG-AJT-301, Issue 2, 2007
Zurück zum Zitat Kelly TP (2003) Managing complex safety cases. In: Redmill F, Anderson T (eds) Current issues in safety-critical systems. Springer-Verlag Kelly TP (2003) Managing complex safety cases. In: Redmill F, Anderson T (eds) Current issues in safety-critical systems. Springer-Verlag
Zurück zum Zitat International Standard ISO/IEC 19501 (2005) Information technology—Open Distributed Processing—Unified Modeling Language (UML)—version 1.4.2, International Standards Organization and International Electrotechnical Commission, 2005 (Note that this is not the version of UML used by most practitioners, but it is the most recent formally standardized one.) International Standard ISO/IEC 19501 (2005) Information technology—Open Distributed Processing—Unified Modeling Language (UML)—version 1.4.2, International Standards Organization and International Electrotechnical Commission, 2005 (Note that this is not the version of UML used by most practitioners, but it is the most recent formally standardized one.)
Metadaten
Titel
A Brief on Modular GSN
verfasst von
John Spriggs
Copyright-Jahr
2012
Verlag
Springer London
DOI
https://doi.org/10.1007/978-1-4471-2312-5_15

Premium Partner