UMP Institutional Repository

A tool for capturing safety properties from critical system specifications written in SOFL

Azma, Abdullah and Hasan, Kahtan and Abdulgabber, Mansoor Abdullateef and Rohani, Abu Bakar and Roslina, Abd. Hamid (2018) A tool for capturing safety properties from critical system specifications written in SOFL. Advanced Science Letters, 24 (10). pp. 7311-7316. ISSN 1936-6612

[img]
Preview
Pdf
11. A Tool for Capturing Safety Properties from Critical System Specifications written in SOFL1.pdf

Download (23kB) | Preview

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.

Item Type: Article
Additional Information: JCR® Category: Multidisciplinary Sciences. Quartile: Q2
Uncontrolled Keywords: Safety; Safety-critical systems; Safety properties; Computational intelligence
Subjects: T Technology > TP Chemical technology
Faculty/Division: Faculty of Computer System And Software Engineering
Depositing User: Pn. Hazlinda Abd Rahman
Date Deposited: 22 Mar 2018 06:38
Last Modified: 05 Nov 2018 07:01
URI: http://umpir.ump.edu.my/id/eprint/19574
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item