Model-based assurance evidence management for safety–critical systems
José Luis de la Vara, Arturo S. García, Jorge Valero, Clara Ayora
Topics & Concepts
Quality assuranceScope (computer science)Process managementProcess (computing)Risk analysis (engineering)Computer scienceMetamodelingSystems engineeringEngineeringSoftware engineeringBusinessOperations managementOperating systemProgramming languageExternal quality assessmentSafety Systems Engineering in AutonomySoftware Reliability and Analysis ResearchRisk and Safety Analysis