Efficient Synthesis of Robust Models for Stochastic Systems
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Efficient Synthesis of Robust Models for Stochastic Systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
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)
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
JOURNAL OF SYSTEMS AND SOFTWARE
ISSN
0164-1212
e-ISSN
1873-1228
Volume of the periodical
2018
Issue of the periodical within the volume
143
Country of publishing house
US - UNITED STATES
Number of pages
18
Pages from-to
140-158
UT code for WoS article
000447575300011
EID of the result in the Scopus database
2-s2.0-85047800364