Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica

Lipaczewski, Michael; Ortmeier, Frank; Prosvirnova, Tatiana; Rauzy, Antoine; Struck, Simon

doi:10.1016/j.ress.2015.03.038

Cited by 11 publications

(9 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Directed connections are commonly used in MBDA techniques, but in some situations the use of undirected connections helps to keep a model structure close to reality. Also the use of an object-oriented paradigm as a basis of the models can be used as a classification criteria [47]. Table 1 presents the classification of certain MBDA techniques by using the previously mentioned criteria.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

An open modelling approach for availability and reliability of systems

Penttinen

Niemi

Gutleber

et al. 2019

Reliability Engineering & System Safety

View full text Add to dashboard Cite

This paper introduces an Open Modelling approach for Availability and Reliability of Systems (OpenMARS), which is developed for risk and performance assessment of large and complex systems with dynamic behaviours. The approach allows for combining the most common risk assessment and operation modelling techniques. This ensures a high degree of freedom for the modeller to accurately describe the system without limitations imposed by an individual technique. OpenMARS uses a platform-independent tabular format to define the used modelling technique, to create the model structure, and to assign the parameter values. We developed the format to enable a straightforward manual model definition while maintaining database compatibility. This paper also presents our calculation engine for stochastic simulation-based analysis of OpenMARS models. Our intention is to use this approach as a basis for new software. We demonstrate the feasibility of OpenMARS with an example of a multi-state production process that is subject to failures. The example creates a comprehensive system model by combining interconnected failure logic, operation phase, and production function models. We believe that the advanced features of OpenMARS have wide ranging applications for analysis of reliability, performance, and energy efficiency of complex industrial processes.

show abstract

Section: Related Workmentioning

confidence: 99%

“…A more detailed comparison between the modelling features of OpenMARS and other MBDA techniques could be an issue of a separate publication. For example, such comparison has been made between AltaRica and SAML [47].…”

Section: Related Workmentioning

confidence: 99%

An open modelling approach for availability and reliability of systems

Penttinen

Niemi

Gutleber

et al. 2019

Reliability Engineering & System Safety

View full text Add to dashboard Cite

show abstract

“…Model Based Safety Analysis/Assessment (MBSA) techniques are aiming to compute dependability attributes (instantaneous and asymptotic reliability and availability, minimal cut sequences, for instance) by analysing models which have been previously designed by safety/dependability experts (Bouissou 2003, Lipaczewski 2015. Accurate and trustworthy computation results require that the initial models are flawless; unfortunately, as any model based on expertise, these models may contain flaws coming from ambiguous or misunderstood specifications, human errors, etc.…”

Section: Introductionmentioning

confidence: 99%

Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems

2017

View full text Add to dashboard Cite

This paper proposes a method to formally check whether formal properties hold on a dynamic model which has been designed by experts for Model Based Safety Analysis/Assessment. As repairable and reconfigurable systems are considered, this model is assumed to be described in the Generalized Boolean-logic Driven Markov Processes (GBDMP) modelling framework. Translation rules are given to obtain a formal model that describes correctly the evolution of the initial model with the semantics of the verification tool. The approach is exemplified on a simple case of standby redundancy.

show abstract

“…AltaRica is a modeling language devoted to performance evaluation and safety analyses. It is currently employed as internal representation language by several safety analyses workshops: Cecilia OCAS (Dassault Aviation), Simfia (EADS Apsys), Safety Designer (Dassault Systemes) and AltaRica Studio (LaBRI) (Lipaczewski et al, 2015). AltaRica data-flow, the 2.0 version of this language, has already been used for evaluating the production availability of a designed production case (Boiteau et al, 2006).…”

Section: Introductionmentioning

confidence: 99%

“…Indeed, there are several assessment tools which could serve for AltaRica 3.0 model. The tools include Markov chain generator, Fault tree compiler, Stepwise simulator, and the Stochastic simulator, which is currently the most powerful one, especially when the other tools cannot work (Lipaczewski et al, 2015). Indeed, the stochastic simulation is an important tool for safety and reliability analyses of the systems, which could generate reasonable results for safety and reliability indicators Zio, 2013).…”

Section: Introductionmentioning

confidence: 99%

Production performance of an offshore system by applying AltaRica 3.0

Meng¹,

Aupetit²,

Kloul³

et al. 2016

Congrès Lambda Mu 20 De Maîtrise Des Risques Et De Sûreté De Fonctionnement

Self Cite

View full text Add to dashboard Cite

Dans cet article, nous présentons une étude destinée à évaluer la disponibilité d'une unité flottante de production, de stockage et de déchargement (FPSO: Floating Production Storage and Offloading unit) réalisée avec le langage de modélisation AltaRica 3.0. L'objectif principal de notre travail était d'identifier les paramètres sensibles et les composants critiques à l'égard de la disponibilité de la production. Prendre en compte les paramètres sensibles et s'assurer du bon fonctionnement des composants critiques peut permettre de garantir une disponibilité et une production élevées du système de production offshore. SummaryIn this article, we show the application of the AltaRica 3.0 modeling language for assessing the production availability of a Floating Production Storage and Offloading system (FPSO). The main objective of our study is to identify the sensitive parameters and crucial components with respect to the production availability. Taking care of the sensitive parameters and ensuring the well working status of crucial components can guarantee a relative high production availability of the offshore production system.

show abstract

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica

Cited by 11 publications

References 23 publications

An open modelling approach for availability and reliability of systems

An open modelling approach for availability and reliability of systems

Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems

Production performance of an offshore system by applying AltaRica 3.0

Contact Info

Product

Resources

About