Engineering Robust Software Systems through Stochastic Model Synthesis

  • Date May 10, 2018
  • Hour 11 am
  • Room GSSI Main Lecture Hall
  • Speaker Radu Calinescu (University of York)
  • Area Computer Science


Robustness is a key characteristic of natural and human-made systems.
Systems that cannot tolerate change are prone to frequent failures and require regular adaptation and maintenance. As such, Engineering disciplines  like civil, mechanical and electrical engineering use long-established methods to develop systems that are resilient to variations in their parameters and  operational profiles. By comparison, software engineering is lagging far behind.
The seminar will describe ongoing research to close this gap through the automated synthesis of stochastic models that correspond to robust software designs which satisfy strict nonfunctional requirements and are Pareto-optimal with respect to a set of quality optimisation criteria.