By the same authors

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

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

Full text download(s)

Published copy (DOI)



Publication details

Title of host publicationRODES: A Robust-Design Synthesis Tool for Probabilistic Systems
DateAccepted/In press - 30 May 2017
DateE-pub ahead of print - 11 Aug 2017
DatePublished (current) - 2017
Number of pages5
Original languageEnglish

Publication series

Name14th International Conference on Quantitative Evaluation of Systems


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.

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations