DALculus – Theory and Tool for Development Assurance Level Allocation

Bieber, Pierre; Delmas, Rémi; Seguin, Christel

doi:10.1007/978-3-642-24270-0_4

Cited by 25 publications

(27 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…SIL decomposition allows the efficient allocation of SILs so that we can achieve safety approval in compliance with standards without being unnecessarily stringent or expensive when addressing objectives . We can perform SIL decomposition with the support of automated design optimization algorithms, built upon genetic, penalty‐based, and Tabu‐Search metaheuristics techniques, after identifying how components can fail and their contribution to the occurrence of hazards during component fault modeling. Rules for decomposing SILs may change from one domain‐specific standard to another.…”

Section: Dependable‐sple Approachmentioning

confidence: 99%

“…Rules for decomposing SILs may change from one domain‐specific standard to another. Thus, design optimization algorithms available in the literature provide support for decomposing: aerospace DALs, built upon SAE ARP 4754A DAL decomposition rules, and automotive ASILs based on ISO 26262 ASIL decomposition rules.…”

Section: Dependable‐sple Approachmentioning

confidence: 99%

“…Additionally, SILs allocated to application‐specific hazards are further decomposed to contributing component failure modes . SIL decomposition can be performed for a particular system variant with automated support of SIL decomposition genetic and metaheuristic algorithms …”

Section: Dependable‐sple Approachmentioning

confidence: 99%

“…These algorithms implement aerospace SAE ARP 4754A rules for allocating DALs to functions and decomposing them throughout the items. Rules allow downgrading the DALs assigned to functions ( at the system level ) to the items ( at the component level ) based on the independence at requirements , implementation , or hardware deployment levels . In the allocation and decomposition of DALs for the Tiriba case study, we assumed that the components are isolated and protected in the architecture.…”

Section: Case Studymentioning

confidence: 99%

See 3 more Smart Citations

Variability management in safety‐critical systems design and dependability analysis

Oliveira

Braga

Masiero

et al. 2019

J Software Evolu Process

View full text Add to dashboard Cite

Safety-critical systems are of paramount importance for many application domains, where safety properties are a key driver to engineer critical aspects and avoid system failures. For the benefits of large-scale reuse, software product lines (SPL) have been adopted in critical systems industry.However, the integration of safety analysis in the SPL development process is nontrivial. Also, the different usage contexts of safety-critical systems complicates component fault modeling tasks and the identification of potential hazards. In this light, better methods become necessary to estimate the impact of dependability properties during Hazard Analysis and Risk Assessment.Existing methods incorporating the analysis of safety properties in SPL are limited as they do not include hazard analysis and component fault modeling. In this paper, we present the novel DEPendable Software Product Line Engineering (DEPendable-SPLE) approach, which extends traditional SPL processes to support the reuse of safety assets. We also present a detailed analysis of the impact of product and context features on the SPL design, safety analysis, and safety requirements. We applied DEPendable-SPLE to a realistic case study from the aerospace domain to illustrate how to model and reuse safety properties. DEPendable-SPLE reduced the effort of safety analysis for certifying system variants.

show abstract

Section: Dependable‐sple Approachmentioning

confidence: 99%

Section: Dependable‐sple Approachmentioning

confidence: 99%

Section: Dependable‐sple Approachmentioning

confidence: 99%

Section: Case Studymentioning

confidence: 99%

See 2 more Smart Citations

Variability management in safety‐critical systems design and dependability analysis

Oliveira

Braga

Masiero

et al. 2019

J Software Evolu Process

View full text Add to dashboard Cite

show abstract

“…Dhouibi et al (2014) introduced a method for ASIL allocation which is based on interpreting the allocation problem as a system of linear equations. Bieber et al (2011) presented a theory to formalise the ARP4754-A DAL allocation rules and the DALculator tool to support automatic DAL allocation via integer programming optimisation. The starting point for these approaches are minimal cut sets of fault trees.…”

Section: Relevant Workmentioning

confidence: 99%

A synthesis of logic and bio-inspired techniques in the design of dependable systems

Papadopoulos

Walker

Parker

et al. 2016

Annual Reviews in Control

View full text Add to dashboard Cite

Item Type Article Authors Papadopoulos, Y.; Walker, M.; Parker, D.; Sharvia, S.; Bottaci, L.; Kabir, Sohag; Azevedo, L.; Sorokos, I. Citation Papadopoulos Y, Walker M, Parker D et al (2016) A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control. 41: 170-182. RightsAbstract: The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that effectively combines these two techniques, schematically founded on the two pillars of formal logic and biology, throughout the design lifecycle. Such a design paradigm would apply these techniques synergistically and systematically from the early stages of design to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems that brings these technologies together to realise their combined potential benefits.

show abstract

Safety Analysis of the Embedded Systems with the AltaRica Approach

Bieber

Seguin

2012

Industrial Use of Formal Methods

View full text Add to dashboard Cite

DALculus – Theory and Tool for Development Assurance Level Allocation

Cited by 25 publications

References 3 publications

Variability management in safety‐critical systems design and dependability analysis

Variability management in safety‐critical systems design and dependability analysis

A synthesis of logic and bio-inspired techniques in the design of dependable systems

Safety Analysis of the Embedded Systems with the AltaRica Approach

Contact Info

Product

Resources

About