Automating Allocation of Development Assurance Levels: an extension to HiP-HOPS

Sorokos, Ioannis; Papadopoulos, Yiannis; Azevedo, Luís Pedro da Silva; Parker, David; Walker, Martin

doi:10.1016/j.ifacol.2015.06.466

Cited by 11 publications

(10 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The references listed here are mostly pertinent to safety critical civil aerospace development as to cover all topic domains within MBSE would require a more extensive review. However, even within the more restricted remit of safety critical aerospace systems and safety modelling there is a wide variety of approaches, with many based around particular languages (AltaRica [3], [5], [13], SCADE/Lustre [10]), or around a modelling environment such as Matlab Simulink [15] in combination with other tools, such as HiP-Hops [16] or physical simulation environments such as Modelica or Simscape ( [14], [15]. The decision to adopt SysML as the modelling language for UltraFan was taken prior to our work starting on ENCASE.…”

Section: Background and Previous Workmentioning

confidence: 99%

Integrating Existing Safety Analyses into SysML

Clegg

Stamp

et al. 2019

Model-Based Safety and Assessment

View full text Add to dashboard Cite

Migrating systems and safety engineering (often with legacy processes and certified tools) towards a model based systems engineering (MBSE) environment is a socio-technical problem. Establishing a common conceptual framework requires agreement on modelling artefacts and the integration of existing tool chains to minimise disruption. We discuss our experience integrating a SysML Safety Profile to model fault trees but which has the prerequisite requirement to continue the analysis of those models by existing tools. We demonstrate a lightweight profile that minimally captures the fault logic for a Rolls-Royce gas turbine engine controller and provides specific in-house extensions for both fault tree and engine dispatch analysis by exporting model entities and relationships from the SysML fault trees. During integration we realised a more fundamental need to reconcile the systems engineers functional view with the safety engineers focus on failure modes and fault logic in order to maximimse the longer term benefits of MBSE development.

show abstract

Section: Background and Previous Workmentioning

confidence: 99%

Integrating Existing Safety Analyses into SysML

Clegg

Stamp

et al. 2019

Model-Based Safety and Assessment

View full text Add to dashboard Cite

show abstract

“… In (Sorokos et al, 2015), a Tabu search-based approach was applied to an aircraft wheel brake system, using DALs and the different decomposition logic set out in ARP4754-A. In this case every run of the algorithm produced an optimal solution, although the search space was considerably smaller.…”

Section: Fig 2 Iso 26262 V-model Development Process (Iso 2011)mentioning

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

Self Cite

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

“…However, it is challenging for those approaches to perform well on a larger scale instance of the problem and to be flexible to the problem with variable cost function. Recognizing those difficulties, researchers have proposed methods using heuristics, such as TS and GA. Bieber and Sorokos studied the optimal DAL assignment for software; furthermore, Sorokos enabled a model-based approach by using the pure TS in conjunction with the reliability analysis tool HiP-HOPS to obtain the optimal requirement assignments (Bieber et al, 2011;Sorokos et al, 2015). Parker proposed a penalty-based GA to optimize the automotive safety integrity level allocation (Parker et al, 2013).…”

Section: Introductionmentioning

confidence: 99%

An optimization approach for DAL assignments

Lü

Wang

2018

AEAT

View full text Add to dashboard Cite

Purpose Development assurance level (DAL) is the measurement of the rigor of development assurance tasks performed to functions or items. The DAL assignment is an important process of aircraft system development that can make the reliability and safety of the system stay at acceptable levels. This paper aims to propose an optimization approach for the DAL assignments to minimize the development cost of aircraft systems. Design/methodology/approach The mathematical model for the DAL assignment optimization has been developed on the basis of the given expressions of objective function and constraints. In addition, a hybrid algorithm model synthesizing the advantages of genetic algorithm (GA) and Tabu search (TS) has been proposed to solve the optimization problem of the DAL assignment. Findings The results of the case study show that the proposed hybrid algorithm is more efficient and effective than the exhaustive method as well as the pure GA. Practical implications The proposed approach can be applied in the development of aircraft systems, and it has great significance in minimizing the development cost as well as keeping the system reliability and safety at an acceptable level. Originality/value The constrained optimization method has been applied in the DAL assignments, the corresponding mathematical model has been built and a hybrid evolutionary algorithm has been proposed to solve the optimization problem.

show abstract

Automating Allocation of Development Assurance Levels: an extension to HiP-HOPS

Cited by 11 publications

References 7 publications

Integrating Existing Safety Analyses into SysML

Integrating Existing Safety Analyses into SysML

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

An optimization approach for DAL assignments

Contact Info

Product

Resources

About