Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > DevOps Meets Formal Modelling ...

DevOps Meets Formal Modelling in High-Criticality Complex Systems

Marta Olszewska, Marina Waldén, DevOps Meets Formal Modelling in High-Criticality Complex Systems. In: Danilo Ardagna, Andreas Brunnert, Giuliano Casale, Andre van Hoorn (Eds.), QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps, ACM , 7–12, ACM New York, 2015.

http://dx.doi.org/10.1145/2804371.2804373

Abstract:

Quality is the cornerstone of high criticality systems, since in case of failure not only major financial losses are at stake, but also human lives. Formal methods that support model based-development are one of the methodologies used to achieve correct-by-construction systems. However, these are often heavy-weight and need a dedicated development process. In our work we combine formal and agile software engineering approaches. In particular, we use Event-B and Scrum to assure the quality and more rapid and flexible development. Since we identified that there are more prerequisites for a successful IT project, we use DevOps to embrace the development, quality assurance and IT operations. In this paper we show how formal modelling can function within DevOps and thus promote various dimensions of quality and continuous delivery.

BibTeX entry:

@INPROCEEDINGS{inpOlWa15a,
  title = {DevOps Meets Formal Modelling in High-Criticality Complex Systems},
  booktitle = {QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps},
  author = {Olszewska, Marta and Waldén, Marina},
  series = {ACM },
  editor = {Ardagna, Danilo and Brunnert, Andreas and Casale, Giuliano and van Hoorn, Andre},
  publisher = {ACM New York},
  pages = {7–12},
  year = {2015},
  keywords = {Agile, Scrum, formal modelling, Event - B , DevOps},
  ISSN = {1539-7521},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication