Safety Function Model for Requirement Specification in Critical Systems: A Case Study of Generic Patient Controlled Analgesia Pump Model (CGPA)
Developing safety-critical systems (SCS) involves a systematic method for assuring and providing safety and dependability. Conventional approaches rely on expert intervention, which can introduce bias, cause delays, and promote inconsistency. This work proposes a model that enhances efficiency and accuracy by extracting safety functions from requirements specifications. The model is made up of three main steps: (1) preprocessing, which involves getting rid of stop words; (2) string selection and matching using a database of safety properties variables based on literature and expert knowledge; and (3) putting safety and non-safety functions into a structured safety function log. The model was trained and tested with the CGPA insulin pump and got a 94% F1 measure score, which means it was 91% accurate, 96% accurate, 92% precise, and 96% recall. This shows that it is good at making things clearer and less biased when finding functions for safety against failures, malfunctions, operational hazards, and inconsistencies in safety-critical specifications. All these enhancements contribute towards Sustainable Development Goal (SDG) 11: Sustainable Cities and Communities, aiming to develop safer, resilient, and sustainable infrastructure in safety-critical regions.
Authors
- Mansoor Abdulhak (ORCID: https://orcid.org/0000-0002-4825-1015)
- Azma Abdullah (ORCID: https://orcid.org/0000-0002-4090-8537)
- R. A. Bakar (ORCID: https://orcid.org/0000-0003-0841-5772)
- Fairus Abdul Farid
Institutions
- Universiti Malaysia Pahang Al-Sultan Abdullah (MY)
- Malaysian Nuclear Agency (MY)
- University of Oklahoma (US)
Publication Details
- Journal
- International Journal of Engineering Science and Information Technology
- Published
- 2025-09-12
- DOI
- https://doi.org/10.52088/ijesty.v5i3.1370
- Primary Topic
- Safety Systems Engineering in Autonomy
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Universiti Malaysia Pahang