The ASMETA Approach to Safety Assurance of Software Systems
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Topics & Concepts
Computer scienceMetamodelingLife-critical systemSafety assuranceFormal methodsProcess (computing)Software engineeringSystems engineeringSystem safetySet (abstract data type)Reliability engineeringSoftwareEngineeringProgramming languageSoftware Reliability and Analysis ResearchSafety Systems Engineering in AutonomyFormal Methods in Verification