Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica

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

首页> 外文期刊>Reliability Engineering & System Safety >Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica

【24h】

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica

机译：安全分析的建模形式比较：SAML和AltaRica

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Many states/transitions formalisms have been proposed in the literature to perform Safety Analyses. In this paper we compare two of them: SAML and AltaRica. These formalisms have been developed by different communities. Their "look-and-feel" are thus quite different. Yet, their underlying mathematical foundations are very similar: both of them rely on state automata. It is therefore of interest to study their ability to assess the reliability of systems, their respective advantages and drawbacks and to seek for opportunities of a cross fertilization. (C) 2015 Elsevier Ltd. All rights reserved.

著录项

来源
《Reliability Engineering & System Safety》 |2015年第8期|191-199|共9页
作者
Lipaczewski Michael; Ortmeier Frank; Prosvirnova Tatiana; Rauzy Antoine; Struck Simon;
展开▼
作者单位

Univ Magdeburg, Comp Syst Engn, D-39106 Magdeburg, Germany;

Univ Magdeburg, Comp Syst Engn, D-39106 Magdeburg, Germany;

LIX Ecole Polytech, F-91128 Palaiseau, France;

LIX Ecole Polytech, F-91128 Palaiseau, France;

Univ Magdeburg, Comp Syst Engn, D-39106 Magdeburg, Germany;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
Model-Based Safety Analysis; SAML; AltaRica;

机译：基于模型的安全性分析;SAML;AltaRica;

相似文献

外文文献
中文文献
专利

1. Safety assessment of AltaRica models via symbolic model checking [J] . Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Science of Computer Programming . 2015,第feba1pta4期

机译：通过符号模型检查对AltaRica模型进行安全评估
2. Symbolic Model Checking and Safety Assessment of Altarica models [J] . Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Electronic Communications of the EASST . 2012,第11期

机译：Altarica模型的符号模型检查和安全评估
3. Modeling systems with mobile components: a comparison between AltaRica and PEPA nets [J] . Leila Kloul, Tatiana Prosvirnova, Antoine Rauzy Proceedings of the Institution of Mechanical Engineers, Part O. Journal of Risk and Reliability . 2013,第6期

机译：带有移动组件的建模系统：AltaRica和PEPA网络之间的比较
4. Performing Safety Analyses with AADL and AltaRica [C] . Julien Brunel, Peter Feiler, Jerome Hugues, International Symposium on Model-Based Safety and Assessment . 2017

机译：用Aadl和Altarica进行安全分析
5. Multi-unit accident contributions to U.S. Nuclear Regulatory Commission quantitative health objectives: A safety goal policy analysis using models from state-of-the-art reactor consequence analyses. [D] . Hudson, Daniel Wayne. 2016

机译：多单位事故对美国核管理委员会的定量健康目标的贡献：使用来自最新反应堆结果分析的模型进行的安全目标政策分析。
6. Estimation of Survival Probabilities for Use in Cost-effectiveness Analyses: A Comparison of a Multi-state Modeling Survival Analysis Approach with Partitioned Survival and Markov Decision-Analytic Modeling [O] . Claire Williams, James D. Lewsey, Daniel F. Mackay, -1

机译：用于成本效益分析的生存概率估计：多状态建模的生存分析方法与分区生存和马尔可夫决策分析模型的比较
7. Performing Safety Analyses with AADL and AltaRica [O] . Julien Brunel, Peter Feiler, Jérôme Hugues, 2017

机译：用Aadl和Altarica进行安全分析
8. Computing Science. A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems. [R] . Bhattacharyya, A., Mokhov, A., Pierce, K. 2015

机译：计算科学。可靠系统动态重构建模与分析的形式比较。

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica

摘要

著录项

相似文献

相关主题

期刊订阅