Abstract
Requirements Engineering (RE) plays an essential role in software project success. RE illustrate system behavior such as safety that directly impacts the customer experience. However, literature reported challenges in safety requirements pertaining to several activities including elicitation, analysis, documentation and validation. Therefore, this paper aim to propose a tool for capturing the safety properties from the requirement specifications. The tool is written in SOFL language and compose three main steps; capturing safety-related function, deriving functional scenario from the safety-related function, and deriving safety properties from the functional scenario. For demonstrate the process an Auto-cruise Control (ACC) system for vehicles is presented as case study. The case study has verified that the proposed tool is capable of capturing the safety properties of ACC system.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: 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.
