M&amp;#x00F6;bius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models

Courtney, T.; Gaonkar, Shravan; Keefe, Ken; Rozier, Eric W. D.; Sanders, William H.

doi:10.1109/dsn.2009.5270318

Cited by 59 publications

(36 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We assume to have the following constraints to fulfill as indicators of acceptable risk: i) probability of late detection should be below 10 -4 , and ii) probability of missed detection should be below 10 -6 . The model has been evaluated with the simulator provided with the Möbius tool [17], with at least 10 7 batches, a relative confidence half-interval of 10%, and a confidence level of 99%.…”

Section: Evaluation and Resultsmentioning

confidence: 99%

See 1 more Smart Citation

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain

Montecchi

Refsdal

Lollini

et al. 2016

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

View full text Add to dashboard Cite

Abstract-Accidents on petroleum installations can have huge consequences; to mitigate the risk, a number of safety barriers are devised. Faults and unexpected events may cause barriers to temporarily deviate from their nominal state. For safety reasons, a work permit process is in place: decision makers accept or reject work permits based on the current state of barriers. However, this is difficult to estimate, as it depends on a multitude of physical, technical and human factors. Information obtained from different sources needs to be aggregated by humans, typically within a limited amount of time. In this paper we propose an approach to provide an automated decision support to the work permit system, which consists in the evaluation of quantitative measures of the risk associated with the execution of work. The approach relies on state-based stochastic models, which can be automatically composed based on the work permit to be examined.

show abstract

Section: Evaluation and Resultsmentioning

confidence: 99%

“…The analysis that we presented in this paper has been executed manually, i.e., model templates for the gas leakage scenario have been instantiated and connected manually, and then analyzed using the Möbius [17] tool. Automation can be performed with current technology, and is being undertaken as part of a research project.…”

Section: Automation and Integrationmentioning

confidence: 99%

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain

Montecchi

Refsdal

Lollini

et al. 2016

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

View full text Add to dashboard Cite

show abstract

“…Finally, it should be noted that the Möbius framework [14] provides some means for reducing the effort required to specify complex models. Actually, its implementation of the Rep/Join composition formalism [33], allows multiple instances of the same Stochastic Activity Networks (SAN) [34] model to be used.…”

Section: Related Workmentioning

confidence: 99%

A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models

Montecchi

Lollini

Bondavalli

2014

2014 Tenth European Dependable Computing Conference

View full text Add to dashboard Cite

Dependability and performance analysis of modern systems is facing great challenges: their scale is growing, they are becoming massively distributed, interconnected, and evolving. Such complexity makes model-based assessment a difficult and time-consuming task. For the evaluation of large systems, reusable submodels are typically adopted as an effective way to address the complexity and improve the maintanability of models. Approaches based on Stochastic Petri Nets often compose submodels by state-sharing, following predefined "patterns", depending on the scenario of interest. However, such composition patterns are typically not formalized. Clearly defining libraries of reusable submodels, together with valid patterns for their composition, would allow complex models to be automatically assembled, based on a high-level description of the scenario to be evaluated. The contribution of this paper to this problem is twofold: on one hand we describe our workflow for the automated generation of large performability models, on the other hand we introduce the TMDL language, a DSL to concretely support the workflow. After introducing the approach and the language, we detail their implementation within the Eclipse modeling platform, and briefly show its usage through an example.

show abstract

“…Although the proposed approach is not related to a specific tool, in order to show how it can be concretely realized, we describe it in terms of a few basic modeling formalisms and mechanisms supported by the tool Möbius, a powerful multiformalism/multisolution tool [27]. The software tool Möbius supports: i) multiple high-level modelling formalisms (SAN, ADVISE, FaultTree, etc.…”

Section: On the Construction Of The Overall Sg Model With Möbiusmentioning

confidence: 99%

On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure

Chiaradonna

Giandomenico²,

Murru

2014

2014 Tenth European Dependable Computing Conference

View full text Add to dashboard Cite

Abstract-The evolution of electrical grids, both in terms of enhanced ICT functionalities to improve efficiency, reliability and economics, as well as the increasing penetration of renewable redistributed energy resources to favor sustainability of the production and distribution of electricity, results in a more sophisticated electrical infrastructure which poses new challenges from several perspectives, including resilience and quality of service analysis. In addition, the presence of interdependencies, which more and more characterize critical infrastructures (including the power sector), exacerbates the need for advanced analysis approaches, to be possibly employed since the early phases of the system design, to identify vulnerabilities and appropriate countermeasures. In this paper, we outline an approach to model and analyze smart grids and discuss the major challenges to be addressed in stochastic model-based analysis to account for the peculiarities of the involved system elements. Representation of dynamic and flexible behavior of generators and loads, as well as representation of the complex ICT control functions required to preserve and/or re-establish electrical equilibrium in presence of changes (both nominal ones, such as variable production by a photovoltaic energy source, and failures/disruptions both at electrical and ICT level) need to be faced to assess suitable indicators of the resilience and quality of service of the smart grid.

show abstract

Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models

Cited by 59 publications

References 20 publications

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain

A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models

On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure

Contact Info

Product

Resources

About