Safety property attributes in critical systems for requirement specification : A review

Azma, Abdullah and Rohani, Abu Bakar and Gunaratnam, Kiriyadhatshini and Hujainah, Fadhl and Mohd Fairus, Abdul Farid (2023) Safety property attributes in critical systems for requirement specification : A review. In: 8th International Conference on Software Engineering and Computer Systems, ICSECS 2023 , 25-27 August 2023 , Penang. pp. 481-486. (192961). ISBN 979-835031093-1

	Pdf Safety property attributes in critical systems.pdf Restricted to Repository staff only Download (929kB) | Request a copy
Preview	Pdf Safety property attributes in critical systems for requirement specification_A review_ABS.pdf Download (305kB) | Preview

Abstract

The integration of critical system components, requirement specification, and safety properties plays a crucial role in advancing the development and verification processes of critical systems. This integration enables effective analysis, management of safety requirements, and identification of potential risks. Although several studies have explored safety properties in safety analysis (SA), they often lack a comprehensive presentation of all possible safety properties with proper categorization. This paper aims to address this gap by analyzing a comprehensive list of possible safety properties in requirement specification. The list is derived through an extensive analysis of studies published between 2019 and 2023, with a focus on past researchers' contributions. Additionally, our future work includes a systematic literature review encompassing a broader range of studies to further enhance the analysis. By providing a structured approach for addressing safety aspects, this paper contributes valuable insights into the significance of safety properties in ensuring the safety and reliability of critical systems. It lays the foundation for improved safety analysis (SA) practices and strengthens the overall development process of critical systems.

Item Type:	Conference or Workshop Item (Lecture)
Additional Information:	Indexed by Scopus
Uncontrolled Keywords:	Requirement specification; Safety analysis; Safety attributes; Safety critical system; Safety property
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software T Technology > T Technology (General) T Technology > TA Engineering (General). Civil engineering (General)
Faculty/Division:	Institute of Postgraduate Studies Faculty of Computing
Depositing User:	Mr Muhamad Firdaus Janih@Jaini
Date Deposited:	16 Apr 2024 04:14
Last Modified:	16 Apr 2024 04:14
URI:	http://umpir.ump.edu.my/id/eprint/40356
Download Statistic:	View Download Statistics

Actions (login required)

View Item