You can view the full text of this article for free using the link below.

Title: Formal representation of knowledge using Z in fast breeder test reactors

Authors: Bindu Sankar, H. Seetha, K.K. Kuriakose, S.A.V. Satyamurty, P. Swaminathan

Addresses: Indira Gandhi Centre for Atomic Research, Computer Division, Kalpakkam 603 102, India. ' Indira Gandhi Centre for Atomic Research, Computer Division, Kalpakkam 603 102, India. ' Indira Gandhi Centre for Atomic Research, Computer Division, Kalpakkam 603 102, India. ' Indira Gandhi Centre for Atomic Research, Computer Division, Kalpakkam 603 102, India. ' Indira Gandhi Centre for Atomic Research, Computer Division, Kalpakkam 603 102, India

Abstract: In this paper, knowledge representation using Z, a formal notation, is adapted in mapping Fast Breeder Test Reactor (FBTR) requirements. The most frequent cause of faults in safety-critical real-time computer systems is traced to fuzziness in representing requirements knowledge. Pitfalls using a natural language as a medium for representing the system requirements knowledge were analysed and explored. To ensure the specified safety, it is necessary to represent the system requirements of safety-critical real-time computer systems using formal mathematical methods. This removes the fuzziness in communicating knowledge on reactor system requirements. This paper contains the formal mathematical model for requirement specifications of FBTR systems using Z notation. Finally, the advantages of using formal representation for representing system requirements knowledge of FBTR using Z notations to minimise the ambiguity in knowledge communication and thus improve the safety are summarised.

Keywords: formal methods; formal notation; knowledge representation; nuclear knowledge management; fast breeder reactors; test reactors; FBTR; safety-critical systems; real-time systems; natural language; mathematical modelling; nuclear safety; nuclear energy; nuclear power.

DOI: 10.1504/IJNKM.2009.027061

International Journal of Nuclear Knowledge Management, 2009 Vol.3 No.3, pp.263 - 283

Available online: 13 Jul 2009 *

Full-text access for editors Access for subscribers Free access Comment on this article