Unifying Probabilistic and Traditional Formal Model Based Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Unifying Probabilistic and Traditional Formal Model Based Analysis

Michael Lipaczewski
  • Function : Author
Simon Struck
  • Function : Author
Frank Ortmeier
  • Function : Author


The increasing complexity of modern software-intensive systems makes their analysis much more difficult. At the same time, more and more of these systems are used in safety-critical environment. Model based safety analysis can help with this problem by giving provably correct and complete results, very often in a fully automatic way. Today, such methods can cope with logical as well as probabilistic questions. However, very often the models used in many model based approaches must be specified in different input languages depending on the chosen verification tool for the desired aspect, which is time consuming and often error-prone. In this paper, we report on our experiences in designing a tool independent specification language (SAML) for model based safety analysis. This allows to use only one model and analyze it with different methods and different verification engines, while guaranteeing the equivalence of the analyzed models. In particular, we discuss challenges and possible solutions to integrate SAML in the development process of real systems.
Fichier principal
Vignette du fichier
Gudemann-Lipaczewski-Struck-et-al-12.pdf (75.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00665607 , version 1 (23-11-2012)


  • HAL Id : hal-00665607 , version 1


Matthias Güdemann, Michael Lipaczewski, Simon Struck, Frank Ortmeier. Unifying Probabilistic and Traditional Formal Model Based Analysis. 8. Dagstuhl-Workshop MBEES 2012 - Model-Based Development of Embedded Systems, Feb 2012, Dagstuhl, Germany. ⟨hal-00665607⟩
319 View
271 Download


Gmail Facebook X LinkedIn More