Model-based assurance evidence management for safety–critical systems

Most safety–critical systems are subject to rigorous assurance processes to justify that the systems satisfy given requirements and are dependable. These processes are typically conducted in compliance with standards and require the provision of assurance evidence in the form of system artifacts, su...

Full description

Saved in:
Bibliographic Details
Published inSoftware and systems modeling Vol. 21; no. 6; pp. 2329 - 2365
Main Authors de la Vara, Jose Luis, García, Arturo S., Valero, Jorge, Ayora, Clara
Format Journal Article
LanguageEnglish
Published Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022
Springer Nature B.V
Subjects
Assurance
Case studies
Certification
Compilers
Compliance
Computer Science
Industrial safety
Information Systems Applications (incl.Internet)
Interpreters
IT in Business
Metamodels
Programming Languages
Programming Techniques
Safety management
Software Engineering
Software Engineering/Programming and Operating Systems
Theme Section Paper
System certification
OpenCert
Safety–critical systems
Model-Driven Engineering
Assurance evidence
System assurance
Online AccessGet full text

Cover

More Information
Summary:Most safety–critical systems are subject to rigorous assurance processes to justify that the systems satisfy given requirements and are dependable. These processes are typically conducted in compliance with standards and require the provision of assurance evidence in the form of system artifacts, such as system specifications and testing results. The management of assurance evidence is usually a complex process because of the large number of artifacts to deal with, the amount of information to gather about the artifacts, and the need to guarantee evidence quality, among other issues. Our aim is to facilitate assurance evidence management by means of a model-based approach. The approach is based on a metamodel that defines the information to be collected about evidence artifacts during their lifecycle. A process for assurance evidence management and usage guidance are also presented. The approach has been developed in the scope of several industry-academia projects, implemented in the OpenCert tool, and validated by practitioners in 10 industrial case studies. Based on the results of the validation, we argue that the approach is an effective means for assurance evidence management and that it could improve the state of the practice.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1619-1366
1619-1374
DOI:10.1007/s10270-021-00957-z