TaF (Testing Autonomous Systems Framework): how to generate and select virtual worlds and mission for testing autonomous system in simulation ?
SMOF (Safety Monitoring Framework) : a tool for safety rules synthesis for autonomous systems
HAZOP-UML (HAZard OPerability with Unified Modeling Language) : a tool for hazard analysis of human-robot interactions
OSMOSIS (Open-Source Material fOr Safety assessment of Intelligent Systems) : a joint ONERA/LAAS open-source project (ROS / MAUVE / Genom implementation)