Efficient Synthesis of Robust Models for Stochastic Systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F18%3APU130741" target="_blank" >RIV/00216305:26230/18:PU130741 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.jss.2018.05.013" target="_blank" >http://dx.doi.org/10.1016/j.jss.2018.05.013</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.jss.2018.05.013" target="_blank" >10.1016/j.jss.2018.05.013</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Efficient Synthesis of Robust Models for Stochastic Systems

Popis výsledku v původním jazyce

We describe a tool-supported method for the efficient synthesis of parametric continuous-time Markov chains (pCTMC) that correspond to robust designs of a system under development. The pCTMCs generated by our RObust DEsign Synthesis (RODES) method are resilient to changes in the systems operational profile, satisfy strict reliability, performance and other quality constraints, and are Pareto-optimal or nearly Pareto-optimal with respect to a set of quality optimisation criteria. By integrating sensitivity analysis at designer-specified tolerance levels and Pareto optimality, RODES produces designs that are potentially slightly suboptimal in return for less sensitivity-an acceptable trade-off in engineering practice. We demonstrate the effectiveness of our method and the efficiency of its GPU-accelerated tool support across multiple application domains by using RODES to design a producer-consumer system, a replicated file system and a workstation cluster system.

Název v anglickém jazyce

Efficient Synthesis of Robust Models for Stochastic Systems

Popis výsledku anglicky

We describe a tool-supported method for the efficient synthesis of parametric continuous-time Markov chains (pCTMC) that correspond to robust designs of a system under development. The pCTMCs generated by our RObust DEsign Synthesis (RODES) method are resilient to changes in the systems operational profile, satisfy strict reliability, performance and other quality constraints, and are Pareto-optimal or nearly Pareto-optimal with respect to a set of quality optimisation criteria. By integrating sensitivity analysis at designer-specified tolerance levels and Pareto optimality, RODES produces designs that are potentially slightly suboptimal in return for less sensitivity-an acceptable trade-off in engineering practice. We demonstrate the effectiveness of our method and the efficiency of its GPU-accelerated tool support across multiple application domains by using RODES to design a producer-consumer system, a replicated file system and a workstation cluster system.

Druh

J_imp - Článek v periodiku v databázi Web of Science

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í

2018

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 periodika

JOURNAL OF SYSTEMS AND SOFTWARE

ISSN

0164-1212

e-ISSN

1873-1228

Svazek periodika

2018

Číslo periodika v rámci svazku

143

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

18

Strana od-do

140-158

Kód UT WoS článku

000447575300011

EID výsledku v databázi Scopus

2-s2.0-85047800364