Home CSCS Public Workshop 1

 

Certification of Safety-Critical Software-Intensive Systems

First Public Workshop

 

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

 

Hilton Suites, Toronto/Markham Conference Center and Spa

11 November 2011

 

The first public workshop of the Ontario Research Fund project Certification of Safety-Critical Software-Intensive Systems was held at the Hilton Suites Conferecne Center and Spa in Markham, near Toronto, on 11 November 2011.  It was attended by 30 people.  As well as presentations by project memebers there invited talks from Sushil Birla (US Nuclear Regulatory Commission), Paul Jones (US Food and Drug Administration), and David Parnas (Middle Road Software).

The programme is listed below, together with links to the presentations.

The workshop was also available remotely via WebEx, which means that recordings were made of each talk.  These are available via the "Video" links below.  The format is .wmv, which is played natively by Windows Media Player.  On other platforms (or on Windows) the open source VLC player from VideoLAN is highly recommended.

Programme

09:00    Tom Maibaum  (McMaster University):   Welcome and project overview Slides Video


09:30    Sushil Birla (US Nuclear Regulatory Commission):   Some technological infrastructure we need to support third party certification Slides Video


10:45    David Tremaine (Systemware Innovation Corporation):  Experiences with third party qualification of critical software Slides Video


11:30    Paul Jones (US Food and Drug Administration):   Assurance cases in the medical device industry Slides Video


13:00    David Parnas (Middle Road Software):  Getting Serious about Software Certification: On Education and Licensing of Software Professionals Slides Video


13:45    Alan Wassyng (McMaster University):   Modeling and certification of infusion pumps Slides Video


14:15    Marc Bender (McMaster University):   A framework for software certification Slides Video


14:45    Sebastian Fischmeister (University of Waterloo):   Information extraction from real-time applications at run time Slides Video


15:45    Mark Lawford (McMaster University):  Certifying FPGAs for nuclear power plants Slides Video


16:15    Vera Pantelic (McMaster University):  Analysis of critical scientific software Slides Video


16:45    Chris George (McMaster University):  Reducing the risk of change in enterprise systems Slides No video available - recording stopped prematurely.
 

Last Updated on Thursday, 08 December 2011 18:41