Designing robust software systems through parametric markov chain synthesis
We present a method for the synthesis of software system designs that satisfy strict quality requirements, are Paretooptimal with respect to a set of quality optimisation criteria, and are robust to variations in the system parameters. To this end, we model the design space of the system under devel...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Institute of Electrical and Electronics Engineers
2017
|