Components in Probabilistic Systems: Suitable by Construction
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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
Original language | English |
---|---|
Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles |
Editors | Tiziana Margaria, Bernhard Steffen |
Publisher | Springer, Berlin [u. a.] |
Pages | 240-261 |
Number of pages | 22 |
ISBN (print) | 978-3-030-61361-7 |
Publication status | Published - 2020 |
Peer-reviewed | Yes |
Publication series
Series | Lecture Notes in Computer Science, Volume 12476 |
---|---|
ISSN | 0302-9743 |
Conference
Title | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation |
---|---|
Abbreviated title | ISoLA 2021 |
Conference number | |
Duration | 25 - 29 October 2021 |
Website | |
Degree of recognition | International event |
Location | |
City | Rhodos |
Country | Greece |
External IDs
Scopus | 85097395454 |
---|---|
ORCID | /0000-0002-5321-9343/work/142236703 |
ORCID | /0000-0003-1724-2586/work/165453588 |
Keywords
Keywords
- Components in Probabilistic Systems: Suitable by Construction