Efficient synthesis of robust models for stochastic systems
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 system’s operational...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2018
|
| _version_ | 1797078095203663872 |
|---|---|
| author | Calinescu, R Ceska, M Gerasimou, S Kwiatkowska, M Paoletti, N |
| author_facet | Calinescu, R Ceska, M Gerasimou, S Kwiatkowska, M Paoletti, N |
| author_sort | Calinescu, R |
| collection | OXFORD |
| 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 system’s 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. |
| first_indexed | 2024-03-07T00:27:34Z |
| format | Journal article |
| id | oxford-uuid:7ea86a02-d8ed-4c4d-9ad3-626d13fcc7f9 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:27:34Z |
| publishDate | 2018 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:7ea86a02-d8ed-4c4d-9ad3-626d13fcc7f92022-03-26T21:11:29ZEfficient synthesis of robust models for stochastic systemsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:7ea86a02-d8ed-4c4d-9ad3-626d13fcc7f9Symplectic Elements at OxfordElsevier2018Calinescu, RCeska, MGerasimou, SKwiatkowska, MPaoletti, NWe 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 system’s 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. |
| spellingShingle | Calinescu, R Ceska, M Gerasimou, S Kwiatkowska, M Paoletti, N Efficient synthesis of robust models for stochastic systems |
| title | Efficient synthesis of robust models for stochastic systems |
| title_full | Efficient synthesis of robust models for stochastic systems |
| title_fullStr | Efficient synthesis of robust models for stochastic systems |
| title_full_unstemmed | Efficient synthesis of robust models for stochastic systems |
| title_short | Efficient synthesis of robust models for stochastic systems |
| title_sort | efficient synthesis of robust models for stochastic systems |
| work_keys_str_mv | AT calinescur efficientsynthesisofrobustmodelsforstochasticsystems AT ceskam efficientsynthesisofrobustmodelsforstochasticsystems AT gerasimous efficientsynthesisofrobustmodelsforstochasticsystems AT kwiatkowskam efficientsynthesisofrobustmodelsforstochasticsystems AT paolettin efficientsynthesisofrobustmodelsforstochasticsystems |