Model-based assurance evidence management for safety–critical systems

• Published in: Software 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
• Language: English
• 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

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...