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...
Saved in:
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
American Scientific Publisher
2018
|
Subjects: | |
Online Access: | http://umpir.ump.edu.my/id/eprint/19574/1/11.%20A%20Tool%20for%20Capturing%20Safety%20Properties%20from%20Critical%20System%20Specifications%20written%20in%20SOFL1.pdf http://umpir.ump.edu.my/id/eprint/19574/ https://doi.org/10.1166/asl.2018.12934 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.ump.umpir.19574 |
---|---|
record_format |
eprints |
spelling |
my.ump.umpir.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 |
institution |
Universiti Malaysia Pahang |
building |
UMP Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Malaysia Pahang |
content_source |
UMP Institutional Repository |
url_provider |
http://umpir.ump.edu.my/ |
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/1/11.%20A%20Tool%20for%20Capturing%20Safety%20Properties%20from%20Critical%20System%20Specifications%20written%20in%20SOFL1.pdf http://umpir.ump.edu.my/id/eprint/19574/ https://doi.org/10.1166/asl.2018.12934 |
_version_ |
1643668683357159424 |
score |
13.18916 |