Möbius: An Extensible Tool for Performance and Dependability Modeling

Daly, David; Deavours, Daniel D.; Doyle, Jay M.; Webster, Patrick G.; Sanders, William H.

doi:10.1007/3-540-46429-8_25

Cited by 80 publications

(55 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The preceding models have been numerically solved using the analytical solver provided by the Möbius tool [8]. Since all the timed transitions are exponentially distributed and the state space dimension of the models was not huge, it was possible to pursue an analytical solution achieving more accurate results than through simulation.…”

Section: Evaluation Resultsmentioning

confidence: 99%

A modeling methodology for hierarchical control system and its aplication

2004

View full text Add to dashboard Cite

show abstract

Section: Evaluation Resultsmentioning

confidence: 99%

A modeling methodology for hierarchical control system and its aplication

2004

View full text Add to dashboard Cite

show abstract

“…The overall model has been developed with a compositional approach, well supported by the Möbius tool (Daly, Deavours, Doyle, Webster & Sanders, 2000) used for the modelling activity.…”

Section: The Modeling Frameworkmentioning

confidence: 99%

“…All the models developed have been described using the Stochastic Activity Network (SAN) formalism defined within the tool Möbius (Daly, Deavours, Doyle, Webster & Sanders, 2000). SAN is a formalism that extends the Stochastic Petri Net and it is meant for modelling the behaviour of discrete event dynamic systems, in particular in terms of their possible stochastic behaviour (probabilistic choices and random delays associated to events).…”

Section: Models Descriptionmentioning

confidence: 99%

Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid

et al. 2014

View full text Add to dashboard Cite

Critical information infrastructure protection and resilience in the ICT sector / Paul Theron and Sandro Bologna, Editors.pages cm. Includes bibliographical references and index. Summary: "This book brings together a variety of empirical research on the resilience in the ICT sector and critical information infrastructure protection in the context of uncertainty and lack of data about potential threats and hazards"--Provided by publisher. ISBN 978-1-4666-2964-6 (hardcover) --ISBN 978-1-4666-2965-3 (ebook) --ISBN 978-1-4666-2966

show abstract

“…Once the message has been received and the SAN models have been built, DEPER starts the coverage analysis through the Möbius tool [11]. The performed analysis is shown in Figure 12 of Section 7 and allows to state that the CONNECTor fully satisfies the coverage requirement with a Timeout greater than 2 time units.…”

Section: Pre-deployment Analysis In the Terrorist Alert Scenariomentioning

confidence: 99%

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems

Bertolino

Calabrò

Giandomenico

et al. 2013

Communications in Computer and Information Science

View full text Add to dashboard Cite

Abstract. The development of next generation Future Internet systems must be capable to address complexity, heterogeneity, interdependency and, especially, evolution of loosely connected networked systems. The European project CON-NECT addresses the challenging and ambitious topic of ensuring eternally functioning distributed and heterogeneous systems through on-the-fly synthesis of the CONNECTors through which they communicate. In this paper we focus on the CONNECT enablers that dynamically derive such connectors ensuring the required non-functional requirements via a framework to analyse and assess dependability and performance properties. We illustrate the adaptive approach under development integrating synthesis of CONNECTors, stochastic model-based analysis performed at design time and run-time monitoring. The proposed framework is illustrated on a case study.

show abstract

Möbius: An Extensible Tool for Performance and Dependability Modeling

Cited by 80 publications

References 1 publication

A modeling methodology for hierarchical control system and its aplication

A modeling methodology for hierarchical control system and its aplication

Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems

Contact Info

Product

Resources

About