Probabilistic Verification Techniques and Safety Analysis

 

Lars Grunske   (University of Queensland, Australia)

 

 

Abstract:

 

Probabilistic verification techniques are a powerful means
to ensure that a software-intensive system fulfils its safety
requirements. To apply these techniques an accurate specification of
the required properties in a probabilistic temporal logic is
necessary. To help practitioners formulate these properties correctly
this talk will present a specification pattern system of common
probabilistic properties called ProProST. Furthermore, the application
to automate a probabilistic version of a Failure Mode and Effect
Analysis (pFMEA) with the PRISM model checker will be described.

Bio: Lars Grunske was Boeing Postdoctoral Research Fellow at the
University of Queensland and research assistant at the Department of
Software Engineering and Quality Management of
Hasso-Plattner-Institute for Software Systems Engineering.  Currently,
Dr Grunske is at the Swinburne University of Technology in Australia
and focuses his research on architectures and dependability evaluation
of complex software intensive systems.