Building Trust in Cyber-Physical Systems:
Statistical Model Checking in the Software Life Cycle
Among the software systems that determine people's daily life, cyber-physical systems are the ones that are most commonly deployed in critical contexts. It seems natural, thus, to ask for evidence of the proper workings of the particular CPSs; and in fact, demands rise for methods with which one can convey trust in those systems. In this lecture we study one of such methods, statistical model checking (SMC). SMC is a comparatively new approach, which shares with the well-known approach of (classical) model checking the goal of formal, rigorous statements. At the same time SMC takes up methods from data analysis and develops them further. In the lecture we will understand the theoretical underpinnings of SMC, see SMC "in action" at different points in the software life cycle, and briefly look into open research issues.
Dr. Sibylle Schupp received her Ph.D. in computer science from the University of Tuebingen in 1996. Subsequently, she spent one year as post-doctoral researcher at Rensselaer (former: RPI) in upstate New York. In 1998, she accepted an offer for an Assistant Professorship, also at Rensselaer. In the Summer of 2002 Dr. Schupp moved to Gothenburg, Sweden, to join the Department of Computer Science and Engineering at Chalmers University of Technology (CTH) as Associate Professor. Since 2009 Dr. Schupp is a full professor for computer science at Hamburg University of Technology (TUHH) and head of the Institute for Software System.