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)

LAAS, Groupe TSF
7 av. du Colonel Roche, 31077 Toulouse cedex4
33 (0)5 61 33 62 05
guiochet @ laas.fr


google scholar