Justification of Smart Sensors for Nuclear Applications
This paper describes the results of a research study sponsored by the UK nuclear industry into methods of justifying smart sensors. Smart sensors are increasingly being used in the nuclear industry; they have potential benefits such as greater accuracy and better noise filtering, and in many cases their analogue counterparts are no longer manufactured. However, smart sensors (as it is the case for most COTS) are sold as black boxes despite the fact that their safety justification might require knowledge of their internal structure and development process. The study covered both management aspects of interacting with manufacturers to obtain the information needed, and the technical aspects of designing an appropriate safety justification approach and assessing feasibility of a range of technical analyses. The analyses performed include the methods we presented at Safecomp 2002 and 2003.
KeywordsVulnerability Assessment Nuclear Industry Malicious Code Assembler Code Smart Sensor
Unable to display preview. Download preview PDF.
- 1.Nuclear Safety Directorate, Safety assessment principles for nuclear plants, http://www.hse.gov.uk/nsd/saps.htm
- 2.Winsborrow, L.A., Lawrence, A.R.: Guidelines for Using Programmable Electronic Systems in Nuclear Safety and Nuclear Safety-Related Applications, British Energy (2002)Google Scholar
- 3.Bishop, P.G., Bloomfield, R.E.: The SHIP Safety Case—A Combination of System and Software Methods. In: SRSS 1995, Proc. 14th IFAC Conf. on Safety and Reliability of Software-based Systems, Brugge, Belgium, September 12-15 (1995)Google Scholar
- 4.Bishop, P.G., Bloomfield, R.E.: A Methodology for Safety Case Development. In: Safety-critical Systems Symposium, Birmingham, UK (Febraury 1998)Google Scholar
- 5.CEMSIS project, http://www.cemsis.org
- 7.Jones, C.C.M., Bloomfield, R.E., Froome, P.K.D., Bishop, P.G.: Methods for assessing the safety integrity of safety-related software of uncertain pedigree (SOUP). Report No: CRR337 HSE Books 2001 ISBN 0 7176 2011 5, http://www.hse.gov.uk/research/crr_pdf/2001/crr01337.pdf
- 8.Bishop, P.G., Bloomfield, R.E., Froome, P.K.D.: Justifying the use of software of uncertain pedigree (SOUP) in safety-related applications. Report No: CRR336 HSE Books (2001), ISBN 0 7176 2010 7, http://www.hse.gov.uk/research/crr_pdf/2001/crr01336.pdf