COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
University of Cambridge > Talks.cam > DIAL seminars > Software testing in Safety Related Systems: A case study from Nuclear Industry
Software testing in Safety Related Systems: A case study from Nuclear IndustryAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Philip Woodall. This talk will present a case study from the ongoing project Dungeness B Power station on the replacement of its Data Processing System with a modern equivalent system. The first part of the talk will provide a general background of the replacement project, including an overview of the safety case approach being adopted in the project. The second part will then focus on the specific aspects of software testing of so-called “high-integrity” control applications within the replacement system. Safety related systems refer to systems whose malfunction, either directly or indirectly, can lead to safety of the overall system being compromised. Unlike “safety system”, i.e. systems directly responsible for the safety of the plant, safety related systems may have less onerous safety claims and can be based on more complex technologies or implementation platforms. Verification/validation of safety related systems can thus pause significant challenges, in terms of safety assessment of the underlying hardware, firmware and in particular, the software. This talk will highlight some of the issues faced when verifying a large-scale system with modest safety claim compared to those observed elsewhere, e.g. in defence and aerospace sectors. This talk is part of the DIAL seminars series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsPerspectives on Inclusive and Special Education Cambridge Screen Media Group AI+PizzaOther talksThermodynamics de-mystified? /Thermodynamics without Ansätze? Child Kingship from a Comparative Perspective: Boy Kings in England, Scotland, France, and Germany, 1050-1250 A stochastic model for understanding PIN polarity in isolated cells Inelastic neutron scattering and µSR investigations of an anisotropic hybridization gap in the Kondo insulators: CeT2Al10 (T=Fe, Ru and Os) Feeding your genes: The impact of nitrogen availability on gene and genome sequence evolution Crowding and the disruptive effect of clutter throughout the visual system Cambridge - Corporate Finance Theory Symposium September 2017 - Day 2 TBC Succulents with Altitude |