RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F17%3APU127277" target="_blank" >RIV/00216305:26230/17:PU127277 - isvavai.cz</a>

Result on the web

<a href="https://www.fit.vut.cz/research/publication/11461/" target="_blank" >https://www.fit.vut.cz/research/publication/11461/</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-66335-7_20" target="_blank" >10.1007/978-3-319-66335-7_20</a>

Result language

angličtina

Original language name

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

Original language description

We introduce RODES - a tool for the synthesis of probabilistic systems that satisfy strict reliability and performance requirements, are Pareto-optimal with respect to a set of optimisation objectives, and are robust to variations in the system parameters. Given the design space of a system (modelled as a parametric continuous-time Markov chain), RODES generates system designs with low sensitivity to required tolerance levels for the system parameters. As such, RODES can be used to identify and compare robust designs across a wide range of Pareto-optimal tradeoffs between the system optimisation objectives.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA16-17538S" target="_blank" >GA16-17538S: Relaxed equivalence checking for approximate computing</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2017

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of 14th International Conference on Quantitative Evaluation of SysTems

ISBN

978-3-319-66335-7

ISSN

—

e-ISSN

—

Number of pages

4

Pages from-to

304-308

Publisher name

Springer Verlag

Place of publication

Heidelberg

Event location

Berlin

Event date

Sep 5, 2017

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000696692800020