Integration of an MPS Modeling Approach into Mobius

In this paper we present an extension to the Mobius framework to deal with multiple phased systems (MPS). MPS are a special class of systems whose operational life can be partitioned in a set of disjoint periods, called phases. Due to their deployment in critical applications, the dependability modeling and analysis of MPS is a task of primary relevance. In… (More)