Stochastic modelling underpinning the engineering of trustworthy adaptive systems

Day - Time: 11 October 2019, h.11:00

Place: Area della Ricerca CNR di Pisa - Room: C-29

Speakers

• Mohammad Mousavi (University of Leicester, United Kingdom)

Referent

Felicita Di Giandomenico

Abstract

Stochastic modelling is a powerful tool for establishingperformance, dependability and other key properties of systemsand processes during design, verification and at runtime.However, the usefulness of this tool depends on the accuracy ofthe models being analysed, on the efficiency of the analysis, andon the ability to find models corresponding to effective systemand process architectures and configurations. This talk willdescribe how recent approaches to stochastic model learning,analysis and synthesis address major challenges posed by theseprerequisites, significantly advancing the applicability ofstochastic modelling.