Components in Probabilistic Systems: Suitable by Construction

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

This paper focusses on the question when and to what extent a particular system component can be considered suitable to use in the context of the dynamics of a larger technical system. We introduce different notions of suitability that arise naturally in the context of probabilistic nondeterministic systems that interact through the exchange of messages in the style of input-output automata. Besides discussing algorithmic aspects for an analysis following our notions of suitability, we demonstrate practical usability of our concepts by means of experiments on a concrete use case.

Details

OriginalspracheEnglisch
TitelLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Redakteure/-innenTiziana Margaria, Bernhard Steffen
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten240-261
Seitenumfang22
ISBN (Print)978-3-030-61361-7
PublikationsstatusVeröffentlicht - 2020
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 12476
ISSN0302-9743

Konferenz

TitelInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation
KurztitelISoLA 2021
Veranstaltungsnummer
Dauer25 - 29 Oktober 2021
Webseite
BekanntheitsgradInternationale Veranstaltung
Ort
StadtRhodos
LandGriechenland

Externe IDs

Scopus 85097395454
ORCID /0000-0002-5321-9343/work/142236703
ORCID /0000-0003-1724-2586/work/165453588

Schlagworte

Schlagwörter

  • Components in Probabilistic Systems: Suitable by Construction

Bibliotheksschlagworte