RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

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

Projekt

<a href="/cs/project/GA16-17538S" target="_blank" >GA16-17538S: Přibližná ekvivalence pro aproximativní počítání</a><br>

Návaznosti

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

Rok uplatnění

2017

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of 14th International Conference on Quantitative Evaluation of SysTems

ISBN

978-3-319-66335-7

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

304-308

Název nakladatele

Springer Verlag

Místo vydání

Heidelberg

Místo konání akce

Berlin

Datum konání akce

5. 9. 2017

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000696692800020