Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study

Bobbio, A.; Ciancamerla, Ester; Franceschinis, Giuliana; Gaeta, Rossano; Minichino, Michele; Portinale, Luigi

doi:10.1016/s0951-8320(03)00091-7

Cited by 31 publications

(15 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…condition Logical condition that leads to the failure. Used to express relationships among component failure states [1,2,13]. Fault DAMdomainModel::Threats occurrenceRate Number of faults per unit time [34,14,10].…”

Section: Dam Domain Modelmentioning

confidence: 99%

A dependability profile within MARTE

2009

View full text Add to dashboard Cite

The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment.

show abstract

Section: Dam Domain Modelmentioning

confidence: 99%

A dependability profile within MARTE

2009

View full text Add to dashboard Cite

show abstract

“…The system reliability or availability is modelled according to the assumption of independence between the events affecting the entities (hypothesis (a), see chapter 7 in [21]). Whereas a classical model of the parallel structure shown in Fig.…”

Section: Fault Trees and Bayesian Network To Model Reliabilitymentioning

confidence: 99%

Bayesian networks inference algorithm to implement Dempster Shafer theory in reliability analysis

Simon

Weber

Evsukoff

2008

Reliability Engineering & System Safety

139

101

View full text Add to dashboard Cite

show abstract

“…One extreme view is that only one method should be used to avoid comparability issues within a set of requirements derived by different methods; the authors recommend Enhanced Markov Analysis, a difficult and time consuming method, due to its great expressive power [4]. Other authors justify the need for several methods in order to adequately address human and organizational factors [5], to cope with situations when adequate failure data is not available [6] and to apply more work intensive methods only to the most critical parts of the system [7], [8]. A more rarely addressed criteria in the choice of risk assessment methods is the capability to identify system failures based on conceptual designs before costly design commitments are made; Kurtoglu and Tumer [9] propose the functional-failure identification and propagation (FFIP) framework for this purpose.…”

Section: Related Researchmentioning

confidence: 99%

Reducing redesign of safety critical control systems by early risk assessment

Papakonstantinou

Sierla

Alanen

et al. 2010

2010 8th IEEE International Conference on Industrial Informatics

View full text Add to dashboard Cite

Tightening legislation on machine safety, such as the new European Machine Directive that became applicable in Dec 2009, requires that the machine manufacturer has to perform a risk assessment to determine safety requirements. These requirements will result in partial redesign of the control system. In order to reduce this redesign, a risk assessment process utilizing several methodologies for early risk identification is demonstrated. An approach for quantifying system design rework with alternative risk assessment strategies is proposed, in order to enable the collection of data that can be used to rank the redesign impact of alternative strategies.

show abstract

Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study

Cited by 31 publications

References 3 publications

A dependability profile within MARTE

A dependability profile within MARTE

Bayesian networks inference algorithm to implement Dempster Shafer theory in reliability analysis

Reducing redesign of safety critical control systems by early risk assessment

Contact Info

Product

Resources

About