The Waterloo System Safety Group
In WSSG, we research modelling and analysis problems from a safety perspective. We consider questions of what theories, formal modelling languages, methods, and tools can aid in the process of ensuring a system is safe and providing evidence of this safety in a robust safety argument that would satisfy standards, such as ISO 26262. We are currently focussing on the safety aspects of autonomous vehicles.
For more information contact: nday AT uwaterloo DOT ca