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

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

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, analys...

Full description

Bibliographic Details
Main Authors: Azma, Abdullah, Hasan, Kahtan, Abdulgabber, Mansoor Abdullateef, Rohani, Abu Bakar, Roslina, Abd. Hamid
Format: Article
Language:English
Published: American Scientific Publisher 2018
Subjects:
TP Chemical technology
Online Access:http://umpir.ump.edu.my/id/eprint/19574/
http://umpir.ump.edu.my/id/eprint/19574/
http://umpir.ump.edu.my/id/eprint/19574/
http://umpir.ump.edu.my/id/eprint/19574/1/11.%20A%20Tool%20for%20Capturing%20Safety%20Properties%20from%20Critical%20System%20Specifications%20written%20in%20SOFL1.pdf
id ump-19574
recordtype eprints
spelling ump-195742018-11-05T07:01:21Z http://umpir.ump.edu.my/id/eprint/19574/ A tool for capturing safety properties from critical system specifications written in SOFL Azma, Abdullah Hasan, Kahtan Abdulgabber, Mansoor Abdullateef Rohani, Abu Bakar Roslina, Abd. Hamid TP Chemical technology 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. American Scientific Publisher 2018-11 Article PeerReviewed pdf en http://umpir.ump.edu.my/id/eprint/19574/1/11.%20A%20Tool%20for%20Capturing%20Safety%20Properties%20from%20Critical%20System%20Specifications%20written%20in%20SOFL1.pdf 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 https://doi.org/10.1166/asl.2018.12934 Doi: 10.1166/asl.2018.12934
repository_type Digital Repository
institution_category Local University
institution Universiti Malaysia Pahang
building UMP Institutional Repository
collection Online Access
language English
topic TP Chemical technology
spellingShingle TP Chemical technology
Azma, Abdullah
Hasan, Kahtan
Abdulgabber, Mansoor Abdullateef
Rohani, Abu Bakar
Roslina, Abd. Hamid
A tool for capturing safety properties from critical system specifications written in SOFL
description 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.
format Article
author Azma, Abdullah
Hasan, Kahtan
Abdulgabber, Mansoor Abdullateef
Rohani, Abu Bakar
Roslina, Abd. Hamid
author_facet Azma, Abdullah
Hasan, Kahtan
Abdulgabber, Mansoor Abdullateef
Rohani, Abu Bakar
Roslina, Abd. Hamid
author_sort Azma, Abdullah
title A tool for capturing safety properties from critical system specifications written in SOFL
title_short A tool for capturing safety properties from critical system specifications written in SOFL
title_full A tool for capturing safety properties from critical system specifications written in SOFL
title_fullStr A tool for capturing safety properties from critical system specifications written in SOFL
title_full_unstemmed A tool for capturing safety properties from critical system specifications written in SOFL
title_sort tool for capturing safety properties from critical system specifications written in sofl
publisher American Scientific Publisher
publishDate 2018
url http://umpir.ump.edu.my/id/eprint/19574/
http://umpir.ump.edu.my/id/eprint/19574/
http://umpir.ump.edu.my/id/eprint/19574/
http://umpir.ump.edu.my/id/eprint/19574/1/11.%20A%20Tool%20for%20Capturing%20Safety%20Properties%20from%20Critical%20System%20Specifications%20written%20in%20SOFL1.pdf
first_indexed 2023-09-18T22:27:59Z
last_indexed 2023-09-18T22:27:59Z
_version_ 1777416094718361600

Similar Items