Components in Probabilistic Systems: Suitable by Construction

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-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 languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer, Berlin [u. a.]
Pages240-261
Number of pages22
ISBN (print)978-3-030-61361-7
Publication statusPublished - 2020
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science, Volume 12476
ISSN0302-9743

Conference

TitleInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Abbreviated titleISoLA 2021
Conference number
Duration25 - 29 October 2021
Website
Degree of recognitionInternational event
Location
CityRhodos
CountryGreece

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

Library keywords