PhD Thesis

  • Title Model-Driven Development of Software-Intensive Cyber-Physical Systems
  • Author Ilias Gerostathopoulos
  • Department Department of Distributed and Dependable Systems
  • Advisor Doc. RNDr. Petr HnÄ›tynka, Ph.D.
  • Reviewers Prof. Ivica Crnkovic, Prof. Lionel Seinturier
  • Submitted June 2015
  • Defended September 2015
  • Download PDF


Software-Intensive Cyber-Physical Systems (siCPS) are modular, open-ended, networked, large-scale embedded Information and Communication Technology (ICT) systems that are increasingly depending on software. They need to be both dependable and flexible to adapt to changes in their dynamic environments. This combination poses challenges in their design and development, as traditional model-driven design and development techniques cannot account for both dependability and self-adaptivity.

The thesis proposes (1) a new, model-based design process for siCPS, which comprises both appropriate methods and models and deals with dependability and self-adaptivity, and (2) a mapping of the design models to implementation-level abstractions, which allows for model-driven development and early experimentations in siCPS.

Specifically, the thesis delivers (1) by introducing and elaborating on the Invariant Refinement Method (IRM), and its extension for self-adaptivity, for the design of siCPS based on the ensemble paradigm. IRM was integrated into the ensemble development life cycle, a methodology for the development of autonomic ensemble-based systems. Contributing to (2), the thesis provides a mapping of the IRM concepts to the concepts of the DEECo components model. The mapping is supported by prototype implementations of model manipulation tools. Finally, the feasibility and effectiveness of the IRM design process has been validated via a controlled experiment.