https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/ 2026-11-02T21:07:15+00:00 https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/ https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/_media/wiki:dokuwiki-128.png text/html 2009-12-14T20:20:08+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/public:course?rev=1260822008&do=diff Course Content Contents Safety critical systems are complex systems that interact with a dangerous environment (e.g. nuclear reactors, medical devices such as radiation therapy machines such as the Therac-25 for treating cancer patients, and airplanes). The specification and design of software and hardware for such systems is challenging because these systems may result in death or serious injury to people, loss or severe damage to equipment or environmental harm. So ordinary testing methods a… text/html 2009-03-02T18:03:48+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/public:start?rev=1236017028&do=diff Public Start