Compositional Performability Evaluation for STATEMATE

Author

Bode, Eckard ; Herbstritt, M. ; Hermanns, Holger ; Johr, Sven ; Peikenkamp, T. ; Pulungan, R. ; Wimmer, R. ; Becker, B.

Author_Institution

Kuratorium OFFIS, Oldenburg

fYear

2006

fDate

11-14 Sept. 2006

Firstpage

167

Lastpage

178

Abstract

This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed reachability analysis of uniform continuous-time Markov decision processes, which are generated from STATEMATE models. We give a detailed explanation of several construction, transformation, reduction, and analysis steps required to make this possible. The entire tool flow has been implemented, and it is applied to a nontrivial example

Keywords

Markov processes; continuous time systems; data structures; reachability analysis; software performance evaluation; specification languages; systems analysis; STATEMATE; compositional performability evaluation; continuous-time Markov decision processes; industrial state-of-the-art modelling tool; timed reachability analysis; Aerospace electronics; Algorithm design and analysis; Boolean functions; Construction industry; Data structures; Environmental management; Performance evaluation; Reachability analysis; Safety; Stochastic processes;

fLanguage

English

Publisher

ieee

Conference_Titel

Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on

Conference_Location

Riverside, CA

Print_ISBN

0-7695-2665-9

Type

conf

DOI

10.1109/QEST.2006.10

Filename

1704011