Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

An Approach to Assure Dependability Through ArchiMate

verfasst von : Shuichiro Yamamoto

Erschienen in: Computer Safety, Reliability, and Security

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

This paper describes a method to create assurance cases for the Open Dependability through Assuredness (O-DA) standard of The Open Group (TOG) based on ArchiMate. ArchiMate provides Enterprise Architecture (EA) models to describe Business, Application and Technology Architectures. Although O-DA shows the necessity of agreeing on the assuredness of EA using assurance cases, O-DA does not mention how to create assurance cases for EA. In this paper, an assurance case pattern is proposed to argue the assuredness for these three kinds of architectures modelled by ArchiMate.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel A Comprehensive Safety Lifecycle
Nächstes Kapitel Tool Support for Assurance Case Building Blocks
Literatur
1.
Kelly, T.: A Six-Step Method for the Development of Goal Structures, York Software Engineering (1997)
2.
Kelly, T., McDermid, J.: Safety Case Construction and Reuse using Patterns. In: Daniel, P. (ed.) Safe Comp 97, pp. 55–69. University of York, New York (1997)CrossRef
3.
Kelly, T.: Arguing safety: a systematic approach to managing safety cases, Ph.D thesis, Department of Computer Science, University of York (1998)
4.
McDermid, J.: Software safety: where’s the evidence? In: SCS 2001: Proceedings of the Sixth Australian workshop on Safety critical systems and software, pp. 1–6. Australian Computer Society, Inc., Darlinghurst, Australia (2001)
5.
Kelly, T., Weaver, R.: The goal structuring notation – a safety argument notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)
6.
Bloomfield, R., Bishop, P.: Safety and assurance cases: past, present and possible. In: Future, Safety Critical Systems Symposium, pp. 9–11, Bristol, UK (2010)
7.
Despotou, G., Kelly, T.: Extending the concept of safety cases to address dependability. In: proceedings of the 22nd International System Safety Conference (ISSC), Providence, RI USA (2004)
8.
Hauge, A.A., Stølen, K.: A pattern-based method for safe control systems exemplified within nuclear power production. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 13–24. Springer, Heidelberg (2012)CrossRef
9.
Wardziński, A.: Safety Assurance Strategies for Autonomous Vehicles. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 277–290. Springer, Heidelberg (2008)CrossRef
10.
Yamamoto, S., Matsuno, Y.: An evaluation of argument patterns to reduce pitfalls of applying Assurance Case. In: ASSURE 2013 (2013)
11.
Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety cases for advanced control software: safety case patterns, Technical report, University of York (2007)
12.
Graydon, P.J., Kelly, T.P.: Assessing software interference management when modifying safety-related software. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 132–145. Springer, Heidelberg (2012)CrossRef
13.
Ruiz, A., Habli, I., Espinoza, H.: Towards a case-based reasoning approach for safety assurance reuse. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 22–35. Springer, Heidelberg (2012)CrossRef
14.
Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 8–21. Springer, Heidelberg (2012)CrossRef
15.
Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.: Weaving an assurance case from design: a model-based approach. In: HASE 2015, pp. 110–117 (2015)
16.
Gallina, B., Gallucci, A., Lundqvist, K., Nyberg, M.: VROOM & cC: a method to build safety cases for ISO 26262-compliant product lines. In: SAFECOMP 2013 (2013)
17.
Lin, C.L.: Applying safety case pattern to generate assurance cases for safety-critical systems. In: HASE2015, pp. 255 – 262 (2015)
18.
Bate, I., Kelly, T.: Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. 81, 303–324 (2003)CrossRef
19.
Yamamoto, S., Matsuno, Y.: d* framework: Inter-Dependency Model for Dependability, DSN 2012 (2012)
20.
Saruwatari, T., Yamamoto, S.: Definition and application of an assurance case development method (d*). Springer Plus 2.1. 4(6), 1–8 (2013)
21.
Saruwatari, T., Yamamoto, S., Matsuno, Y.: A comparative study of d∗framework and GSN, ISSRE2013, pp. 315–320 (2013)
22.
Jackson, D., et al., Software for dependable systems– sufficient evidence?, National Research Council (2008)
23.
24.
25.
Tokoro, M.: Open Systems Dependability: Dependability Engineering for Ever-Changing Systems. CRC Press, Boca Raton (2012)CrossRef
26.
Real-Time and Embedded Systems, Dependability through Assuredness™ (O-DA) Framework, Open Group Standard (2013)
27.
Josely, A., et al.: TOGAF® Version 9.1 A Pocket Guide. Van Haren, Zaltbommel (2011)
28.
Josely, A., et al.: ArchiMate®2.0: A Pocket Guide, The Open Group. Van Haren8 Publishing, Zaltbommel (2013)
Metadaten
Titel
An Approach to Assure Dependability Through ArchiMate
verfasst von
Shuichiro Yamamoto
Copyright-Jahr
2015
Buch
Computer Safety, Reliability, and Security

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

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

Copyright-Jahr: 2015

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