PG-Leg-Asis – Legacy Model Analysis

In order to increase the confidence in the results from the analysis based on simulations we will investigate how to use an iterative simulation approach. By running many simulations randomly we expect to get a fairly good population of results from which we can guide the simulator to explore the most interesting cases in more depth. We will also investigate how to extend our framework for analysis of temporal behavior with analysis of dependability properties. A typical example of such a dependability property is safety. The model extraction solution developed in PG-LegExtract could most likely be adapted to extract models for analyzing safety properties, using e.g. a model checker.