Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach

Falessi, Davide; Sabetzadeh, Mehrdad; Briand, Lionel C.; Turella, E.; Coq, Thierry; Panesar-Walawege, Rajwinder Kaur

doi:10.1109/ms.2011.116

Cited by 24 publications

(13 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is the focus of e.g. Falessi et al [40]. This publication indicates that the safety evidence to provide for a system must be specified and agreed between a system supplier and a certification authority.…”

Section: Notion Of Evidencementioning

confidence: 99%

An analysis of safety evidence management with the Structured Assurance Case Metamodel

Génova

Álvarez-Rodríguez

Lloréns

2017

Computer Standards & Interfaces

View full text Add to dashboard Cite

Section: Notion Of Evidencementioning

confidence: 99%

An analysis of safety evidence management with the Structured Assurance Case Metamodel

Génova

Álvarez-Rodríguez

Lloréns

2017

Computer Standards & Interfaces

View full text Add to dashboard Cite

“…Nonetheless, this is an inherent characteristic of safety standard usage. There is no single way to interpret and follow a safety standard, and system suppliers and regulators usually have to agree on how to comply with a standard for a given project [3]. In this sense, it is necessary that the RAF metamodel supports practitioners in interpreting standards (e.g.…”

Section: Validity!mentioning

confidence: 99%

“…Otherwise, a certification authority might not agree upon how a safety standard has been followed. Systematic, model-based approaches for facilitating this agreement such as the one proposed in [3] can greatly help. Explicit models can assist in managing the complexities of reaching an agreement and can ease communication among the stakeholders.…”

Section: Possible Ambiguities Inconsistencies and Conflicts In Raf mentioning

confidence: 99%

“…Demonstration of compliance with safety standards is usually costly and time-consuming [3], and can be very challenging [2,4]. Firstly, system suppliers have to collect evidence for compliance such as hazard analyses, test results, and activity records in order to show that the safety criteria of a standard have been fulfilled.…”

mentioning

confidence: 99%

“…We advocate the use of model-based approaches to tackle these challenges. Models can facilitate the understanding of safety standards [8], the identification of inconsistencies in their text [9], the determination of the evidence to collect [3], the specification of traceability requirements [10], and compliance assessment [11]. There is evidence of the use of models in industry for safety compliance purposes [1,2].…”

mentioning

confidence: 99%

See 2 more Smart Citations

Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel

Ruíz

Attwood

Espinoza

et al. 2016

Information and Software Technology

Self Cite

View full text Add to dashboard Cite

eprints@whiterose.ac.uk https://eprints.whiterose.ac.uk/ Reuse Unless indicated otherwise, fulltext items are protected by copyright with all rights reserved. The copyright exception in section 29 of the Copyright, Designs and Patents Act 1988 allows the making of a single copy solely for the purpose of non-commercial research or private study within the limits of fair dealing. The publisher or other rights-holder may allow further reproduction and re-use of this version -refer to the White Rose Research Online record for this item. Where records identify the publisher as the copyright holder, users can verify any specific terms of use on the publisher's website. TakedownIf you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing eprints@whiterose.ac.uk including the URL of the record and the reason for the withdrawal request. Model-Based Specification of Safety Compliance Needs for CriticalSystems: A Holistic Generic Metamodel! Abstract!Context: Many critical systems must comply with safety standards as a way of providing assurance that they do not pose undue risks to people, property, or the environment. Safety compliance is a very demanding activity, as the standards can consist of hundreds of pages and practitioners typically have to show the fulfilment of thousands of safety-related criteria. Furthermore, the text of the standards can be ambiguous, inconsistent, and hard to understand, making it difficult to determine how to effectively structure and manage safety compliance information. These issues become even more challenging when a system is intended to be reused in another application domain with different applicable standards.Objective: This paper aims to resolve these issues by providing a metamodel for the specification of safety compliance needs for critical systems. Method: The metamodel is holistic and generic, and abstracts common concepts for demonstrating safety compliance from different standards and application domains. Its application results in the specification of Òreference assurance frameworksÓ for safety-critical systems, which correspond to a model of the safety criteria of a given standard. For validating the metamodel with safety standards, parts of several standards have been modelled by both academic and industry personnel, and other standards have been analysed. We further augment this with feedback from practitioners, including feedback during a workshop. Results:The results from the validation show that the metamodel can be used to specify safety compliance needs for aerospace, automotive, avionics, defence, healthcare, machinery, maritime, oil and gas, process industry, railway, and robotics. Practitioners consider that the metamodel can meet their needs and find benefits in its use. Conclusion:The metamodel supports the specification of safety compliance needs for most critical computer-based and software-intensive systems. The resulting models can provide an effective means of structuring and managing safety compliance infor...

show abstract

Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering

Dingel

2016

Graph Transformation

View full text Add to dashboard Cite

Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach

Cited by 24 publications

References 1 publication

An analysis of safety evidence management with the Structured Assurance Case Metamodel

An analysis of safety evidence management with the Structured Assurance Case Metamodel

Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel

Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering

Contact Info

Product

Resources

About