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

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Calinescu, R, Ceska, M, Gerasimou, S, Kwiatkowska, M, Paoletti, N
Ձևաչափ: Journal article
Հրապարակվել է: Elsevier 2018

Նմանատիպ նյութեր