Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Formal Verification of Evolutionary Changes


Autor(en):Bernhard Beckert, Jakob Mund, Mattias Ulbrich und Alexander Weigl
In:Managed Software Evolution
Verleger:Springer International Publishing


In this chapter, we elaborate how formal verification techniques can be used to ensure safety properties of automated production systems during their evolution. First, we discuss the opportunities that formal methods offer, particularly when dealing with the evolution of automated production systems, but also which special needs this particular domain requires from the formal methods to be applied. We exemplarily present three approaches that successfully incorporate a formal verification technique for analysis, modelling, or reasoning into the system evolution process, namely, regression verification, generalised test tables, and model checking of holistic (multidomain) models.


  author =	 {Bernhard Beckert and Jakob Mund and Mattias Ulbrich
                  and Alexander Weigl},
  editor =	 {Reussner, Ralf and Goedicke, Michael and
                  Hasselbring, Wilhelm and Vogel-Heuser, Birgit and
                  Keim, Jan and M{\"a}rtin, Lukas},
  title =	 {Formal Verification of Evolutionary Changes},
  bookTitle =	 {Managed Software Evolution},
  year =	 {2019},
  month =        jun,
  publisher =	 {Springer International Publishing},
  address =	 {Cham},
  pages =	 {309--332},
  doi =		 {10.1007/978-3-030-13499-0_11}