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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: International Journal of Nuclear Knowledge Management
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.