Certification of Safety-Critical Software-Intensive Systems First Public Workshop

November 1 ,2011

"Progress on the Certification of Critical Software-Intensive Systems"

Hilton Suites, Toronto/Markham Conference Center and Spa
November 11, 2011

The Ontario Research Fund project Certification of Safety-Critical Software-Intensive Systems has now been running for almost 2 years. It involves three Ontario Universities ‐ McMaster, Waterloo and York ‐ and seven industrial companies from the medical, nuclear and financial domains. The project aims to develop techniques and tools to ensure that software used in critical systems can be reliably certified as safe and fit for its purpose. Software is increasingly important in many domains, and showing that it is safe to use is a difficult problem and the subject of extensive research. The McMaster Centre for Software Certification (McSCert) plays the lead role in the project.

Read More

This public workshop will showcase the work done in the project so far, as well as featuring contributions by others working in the field. It will introduce the challenges involved in certifying critical software applications, and the approaches we are taking. It will be of interest to anyone involved in developing, certifying or qualifying critical software, and to people teaching software engineers.