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).


Download
Originalveröffentlichung
DOI: 10.1007/978-3-030-81915-6_5
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
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