• Publications
  • Influence
Ten Years of Industrial Experience with the SST Turbulence Model
This document describes the current formulation of the SST turbulence models, as well as a number of model enhancements. The model enhancements cover a modified near wall treatment of the equations,Expand
  • 898
  • 81
  • PDF
Model Checking Markov Chains with Actions and State Labels
TLDR
We introduce the logic as CSL which provides a powerful means to characterize execution paths of Markov chains with actions and state labels and show that even the state-based fragment of asCSL is strictly more expressive than CSL if time intervals starting at zero are employed. Expand
  • 79
  • 10
  • PDF
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
TLDR
Failure mode and effects analysis (FMEA) isa technique to reason about possible system hazards thatresult from system or system component failures. Expand
  • 69
  • 4
  • PDF
Architectural dependability evaluation with Arcade
TLDR
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade, which combines the strengths of previous approaches to the evaluation of dependability. Expand
  • 53
  • 4
  • PDF
A new implementation of the Humlicek algorithm for the calculation of the Voigt profile function
Abstract A new implementation of Humlicek's algorithm for approximating the Voigt profile function is proposed and compared with several other implementations with respect to computational speed. OnExpand
  • 115
  • 3
Model-Based Safety Analysis for Vehicle Guidance Systems
TLDR
This paper considers the design-phase safety analysis of vehicle guidance systems. Expand
  • 13
  • 3
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework
TLDR
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. Expand
  • 23
  • 3
  • PDF
Symbolic Performance and Dependability Evaluation with the Tool CASPA
TLDR
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. Expand
  • 40
  • 2
  • PDF
Model checking action- and state-labelled Markov chains
TLDR
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-labelled Markov chains. Expand
  • 44
  • 2
  • PDF
From Probabilistic Counterexamples via Causality to Fault Trees
TLDR
We propose a method to automatically derive a fault tree from a probabilistic counterexample, including a mapping of the probability information onto the FT. Expand
  • 42
  • 1
  • PDF