KIT | KIT-Bibliothek | Impressum | Datenschutz

Integration and Orchestration of Analysis Tools

Heinrich, Robert; Bousse, Erwan; Koch, Sandro ORCID iD icon; Rensink, Arend; Riccobene, Elvinia; Ratiu, Daniel; Sirjani, Marjan

Abstract:

This chapter addresses the integration and orchestration of external analysis tools into modelling environments. We first give a detailed overview of the considered context and problem statement. Then, a solution in the form of a reference architecture for the integration of analysis tools into modelling environments is presented. We collect a set of requirements that analysis tools must satisfy in order to enable (a) the integration of these analyses into modelling environments and (b) the orchestration of these analysis tools to produce overall results. Finally, we give an overview of different orchestration strategies for the integration of analysis tools and show examples.

This core chapter addresses Challenge 2 introduced in Chap. 3 of this book (the practical implications—how to integrate and orchestrate existing analysis tools).


Postprint §
DOI: 10.5445/IR/1000148371
Veröffentlicht am 23.01.2024
Originalveröffentlichung
DOI: 10.1007/978-3-030-81915-6_5
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Buchaufsatz
Publikationsjahr 2021
Sprache Englisch
Identifikator ISBN: 978-3-030-81915-6
KITopen-ID: 1000148371
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Weitere HGF-Programme 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems
Erschienen in Composing Model-Based Analysis Tools. Ed.: R. Heinrich
Verlag Springer International Publishing
Seiten 71–95
Vorab online veröffentlicht am 18.07.2021
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page