SOFL-based approach for requirements analysis of brain tumor treatment system

Software design is a critical step in the development process of software systems. Failure to produce correct design specification will result in the production of an unsatisfactory system. This failure is not because of the chosen method applied during the development process, but it is because of the system analyst fail to understand on how to achieve the precise requirements during requirements analysis process. This paper describes an approach to write abstract requirement specifications using SOFL. This approach requires two steps: informal and semi-formal steps. In order to describe on how this approach can be applied to capture requirements using SOFL easily, we use a case study of a brain tumor treatment system for construct an abstract requirements. This case study demonstrates the suitability of SOFL for developing safety-critical system and provides us with an insight into the knowledge of how SOFL approach can be effectively supported.