Model-based assurance evidence management for safety–critical systems - de la Vara, Jose Luis; García, Arturo S.; Valero, Jorge; Ayora, Clara (Software and systems modeling, 2022)
Keywords: 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