Formalization of Requirements from Natural Language for Safety Critical Embedded System
Manju Nanda, J. Gnana Jayanthi, Shamsundar Dhage · 2014
Requirements capture is the most critical part of the engineering process. With the advancement of technology in recent years, the system and the functionality they perform are becoming highly complex. Hence to capture correct, complete and unambiguous requirements formal languages are used [1]. ReqZ tool being developed by CSIR-NAL, is a Z-language based tool which captures the system requirements formally from natural language requirements. This paper describes a tool that uses a novel technique to translate safety critical requirements from informal natural language to Z-formal language. The paper outlines the ReqZ tool, and the techniques used in formalizing the natural language requirements. The tool has been designed and verified for a proven system as a case study.