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...
| Những tác giả chính: | , , , , |
|---|---|
| Định dạng: | Journal article |
| Được phát hành: |
Elsevier
2018
|