TY - GEN
T1 - RODES: A Robust-Design Synthesis Tool for Probabilistic Systems
AU - Calinescu, Radu Constantin
AU - Ceska, Milan
AU - Gerasimou, Simos
AU - Kwiatkowska, Marta
AU - Paoletti, Nicola
N1 - © Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
PY - 2017
Y1 - 2017
N2 - We introduce RODES – a tool for the synthesis of probabilis- tic 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 tol- erance 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.
AB - We introduce RODES – a tool for the synthesis of probabilis- tic 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 tol- erance 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.
U2 - 10.1007/978-3-319-66335-7_20
DO - 10.1007/978-3-319-66335-7_20
M3 - Conference contribution
T3 - 14th International Conference on Quantitative Evaluation of Systems
SP - 304
EP - 308
BT - RODES: A Robust-Design Synthesis Tool for Probabilistic Systems
ER -