Submitted: May 2010

Abstract

Arcade is a new framework for dependability evaluation that allows to model systems in a very easy manner. Since an immediate translation into Input/Output-Interactive Markov Chains would be very difficult, it is useful to create intermediate code first. This thesis shows the benefits of using MoDeST as intermediate language towards analysis, explains in detail how this conversion can be done and presents the implementation of the tool which comes along with this thesis.