Components in Probabilistic Systems: Suitable by Construction
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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
Originalsprache | Englisch |
---|---|
Titel | Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles |
Redakteure/-innen | Tiziana Margaria, Bernhard Steffen |
Herausgeber (Verlag) | Springer, Berlin [u. a.] |
Seiten | 240-261 |
Seitenumfang | 22 |
ISBN (Print) | 978-3-030-61361-7 |
Publikationsstatus | Veröffentlicht - 2020 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 12476 |
---|---|
ISSN | 0302-9743 |
Konferenz
Titel | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation |
---|---|
Kurztitel | ISoLA 2021 |
Veranstaltungsnummer | |
Dauer | 25 - 29 Oktober 2021 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | |
Stadt | Rhodos |
Land | Griechenland |
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