Safety property attributes in critical systems for requirement specification : A review
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 pote...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English English |
| Published: |
Institute of Electrical and Electronics Engineers Inc.
2023
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/40356/ http://umpir.ump.edu.my/id/eprint/40356/1/Safety%20property%20attributes%20in%20critical%20systems.pdf http://umpir.ump.edu.my/id/eprint/40356/2/Safety%20property%20attributes%20in%20critical%20systems%20for%20requirement%20specification_A%20review_ABS.pdf |
| _version_ | 1848826025612410880 |
|---|---|
| author | Azma, Abdullah Rohani, Abu Bakar Gunaratnam, Kiriyadhatshini Hujainah, Fadhl Mohd Fairus, Abdul Farid |
| author_facet | Azma, Abdullah Rohani, Abu Bakar Gunaratnam, Kiriyadhatshini Hujainah, Fadhl Mohd Fairus, Abdul Farid |
| author_sort | Azma, Abdullah |
| building | UMP Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T03:38:16Z |
| format | Conference or Workshop Item |
| id | ump-40356 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English English |
| last_indexed | 2025-11-15T03:38:16Z |
| publishDate | 2023 |
| publisher | Institute of Electrical and Electronics Engineers Inc. |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | ump-403562024-04-16T04:14:53Z http://umpir.ump.edu.my/id/eprint/40356/ Safety property attributes in critical systems for requirement specification : A review Azma, Abdullah Rohani, Abu Bakar Gunaratnam, Kiriyadhatshini Hujainah, Fadhl Mohd Fairus, Abdul Farid QA75 Electronic computers. Computer science QA76 Computer software T Technology (General) TA Engineering (General). Civil engineering (General) 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. Institute of Electrical and Electronics Engineers Inc. 2023 Conference or Workshop Item PeerReviewed pdf en http://umpir.ump.edu.my/id/eprint/40356/1/Safety%20property%20attributes%20in%20critical%20systems.pdf pdf en http://umpir.ump.edu.my/id/eprint/40356/2/Safety%20property%20attributes%20in%20critical%20systems%20for%20requirement%20specification_A%20review_ABS.pdf 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 (Published) https://doi.org/10.1109/ICSECS58457.2023.10256294 |
| spellingShingle | QA75 Electronic computers. Computer science QA76 Computer software T Technology (General) TA Engineering (General). Civil engineering (General) Azma, Abdullah Rohani, Abu Bakar Gunaratnam, Kiriyadhatshini Hujainah, Fadhl Mohd Fairus, Abdul Farid Safety property attributes in critical systems for requirement specification : A review |
| title | Safety property attributes in critical systems for requirement specification : A review |
| title_full | Safety property attributes in critical systems for requirement specification : A review |
| title_fullStr | Safety property attributes in critical systems for requirement specification : A review |
| title_full_unstemmed | Safety property attributes in critical systems for requirement specification : A review |
| title_short | Safety property attributes in critical systems for requirement specification : A review |
| title_sort | safety property attributes in critical systems for requirement specification : a review |
| topic | QA75 Electronic computers. Computer science QA76 Computer software T Technology (General) TA Engineering (General). Civil engineering (General) |
| url | http://umpir.ump.edu.my/id/eprint/40356/ http://umpir.ump.edu.my/id/eprint/40356/ http://umpir.ump.edu.my/id/eprint/40356/1/Safety%20property%20attributes%20in%20critical%20systems.pdf http://umpir.ump.edu.my/id/eprint/40356/2/Safety%20property%20attributes%20in%20critical%20systems%20for%20requirement%20specification_A%20review_ABS.pdf |