BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Software testing in Safety Related Systems: A case study from Nucl
 ear Industry - Nirav Chokshi\, C&amp\;I Engineer\, Data Processing &amp\; 
 Control Systems Group C&amp\;I Services Branch EDF
DTSTART:20110331T130000Z
DTEND:20110331T140000Z
UID:TALK30529@talks.cam.ac.uk
CONTACT:Philip Woodall
DESCRIPTION:This talk will present a case study from the ongoing\nproject 
 Dungeness B Power station on the replacement of its Data\nProcessing Syste
 m with a modern equivalent system. The first part of the\ntalk will provid
 e a general background of the replacement project\,\nincluding an overview
  of the safety case approach being adopted in the\nproject. The second par
 t will then focus on the specific aspects of\nsoftware testing of so-calle
 d "high-integrity" control applications\nwithin the replacement system.\n\
 nSafety related systems refer to systems whose malfunction\, either\ndirec
 tly or indirectly\, can lead to safety of the overall system being\ncompro
 mised. Unlike "safety system"\, i.e. systems directly responsible\nfor the
  safety of the plant\, safety related systems may have less\nonerous safet
 y claims and can be based on more complex technologies or\nimplementation 
 platforms. Verification/validation of safety related\nsystems can thus pau
 se significant challenges\, in terms of safety\nassessment of the underlyi
 ng hardware\, firmware and in particular\, the\nsoftware. This talk will h
 ighlight some of the issues faced when\nverifying a large-scale system wit
 h modest safety claim compared to\nthose observed elsewhere\, e.g. in defe
 nce and aerospace sectors.\n
LOCATION:Seminar room 1\, Institute for Manufacturing\, Cambridge
END:VEVENT
END:VCALENDAR