Dependability Modeling and Evaluation of Multiple-Phased Systems Using DEEM

Bondavalli, Andrea; Chiaradonna, Silvano; Giandomenico, Felicita Di; Mura, Iván

doi:10.1109/tr.2004.837709

Cited by 73 publications

(26 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The aggregated phase model carries all information about the scenario that is necessary to derive the MPS model [2]. The generation of the aggregated phase model consists of the following steps:…”

Section: The Aggregated Phase Modelmentioning

confidence: 99%

An integrated framework for the dependability evaluation of distributed mobile applications

Kovács

Lollini

Majzik

et al. 2008

Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems

View full text Add to dashboard Cite

Current distributed mobile systems are usually characterized by a huge number of nodes, different network domains, different applications running, variability of the users' behavior, and dynamicity and heterogeneity of the communication networks. A typical example can be found in the automotive context, considering car-to-car and car-to-infrastructure communication scenarios. In this paper we propose a model-based approach for the dependability evaluation of distributed applications in a mobile environment. The final Multiple Phased System model representing the analyzed mobile scenario is automatically derived from highlevel UML specifications through a sequence of model transformation steps. The evaluation workflow is based on i) a hierarchical modelling approach that analyzes the system at different levels, namely communication, architecture, application and user level; ii) a time-based system decomposition identifying different phases for different user activities and environment conditions.

show abstract

Section: The Aggregated Phase Modelmentioning

confidence: 99%

An integrated framework for the dependability evaluation of distributed mobile applications

Kovács

Lollini

Majzik

et al. 2008

Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems

View full text Add to dashboard Cite

show abstract

“…Examples of MPS can be found in various application domains, such as nuclear, aerospace, telecommunications, transportation, electronics, and many other industrial fields. Because of their deployment in several critical application domains, MPS have been widely investigated, and their dependability analysis has been the object of several research studies ( [2], [3], [4], [6], [7], the complete expose of the literature can be found in [2]). …”

Section: Dependability Modeling: Multiple Phased Systems and Deemmentioning

confidence: 99%

“…Recently, a dependability modeling and evaluation tool, DEEM, specifically tailored for MPS, has been developed at the University of Florence, and ISTI-CNR [4]. DEEM relies upon Deterministic and Stochastic Petri Nets (DSPN) as the modeling formalism, and on Markov Regenerative Processes (MRGP) for the model solution [2].…”

Section: Dependability Modeling: Multiple Phased Systems and Deemmentioning

confidence: 99%

Dependability Evaluation of Web Service-Based Processes

Gönczy

Chiaradonna

Giandomenico

et al. 2006

Formal Methods and Stochastic Models for Performance Evaluation

View full text Add to dashboard Cite

Abstract. As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more crucial. Therefore, extensions of the common service composition techniques are urgently needed in order to cover dependability aspects and a core concept for the dependability estimation of the target composite service. Since Web services-based workflows fit into the class of systems composed of multiple phases, this paper attempts to apply methodologies and tools for dependability analysis of Multiple Phased Systems (MPS) to this emerging category of dependability critical systems. The paper shows how this dependability analysis constitutes a very useful support to the service provider in choosing the most appropriate service alternatives to build up its own composite service.

show abstract

“…Multiple-Phased Sytems (MPS) [1] are systems whose behaviour can be split in a set of successive periods, called phases. Also called Phased Mission System (PMS) in other works, as in [2], since they can easily describe systems in which the behaviour is described as a mission, structured into multiple phases, each described by a different duration, system configuration, desired task, etc.…”

Section: Introduction and State Of Artmentioning

confidence: 99%

“…The DEEM tool [1] implements this method. Although not recent, DEEM can still be considered the state of the art tool for MPS definition and solution.…”

Section: Introduction and State Of Artmentioning

confidence: 99%

Efficient solution of extended Multiple-Phased Systems

Amparore

Donatelli

2017

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools

View full text Add to dashboard Cite

Multiple-Phased Systems (MPS) are systems whose behaviour can be split in a set of successive periods, called phases. We concentrate on the Phase Petri nets (PPN) formalism for the representation of state-based MPS, whose state space is a Markov Regenerative Process (MRP). MPS have been traditionally evaluated using an ad-hoc method. In this paper we show how the recently developed Component Method for general MRP deals with MPS. The application of this method also allows for more general MPS system, namely where the phases can be interrupted or influenced by the behaviour of the modeled system The advantages of this approach is assessed on a Scheduled Maintenance Systems model using two tools, DEEM and GreatSPN.

show abstract

Dependability Modeling and Evaluation of Multiple-Phased Systems Using DEEM

Cited by 73 publications

References 24 publications

An integrated framework for the dependability evaluation of distributed mobile applications

An integrated framework for the dependability evaluation of distributed mobile applications

Dependability Evaluation of Web Service-Based Processes

Efficient solution of extended Multiple-Phased Systems

Contact Info

Product

Resources

About