Waterloo Formal Methods Group

Waterloo System Safety Group

The Waterloo System Safety Group, WSSG, is a working subgroup of WatForm co-lead by Jo Atlee and Nancy Day .

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
Valid XHTML 1.0 Strict Valid CSS!

Last modified on Wednesday 21st of September 2016 02:03:05 PM