RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

Radu Constantin Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationRODES: A Robust-Design Synthesis Tool for Probabilistic Systems
Number of pages5
Publication statusPublished - 2017

Publication series

Name14th International Conference on Quantitative Evaluation of Systems

Bibliographical note

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

Cite this