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 |
| Summary: | 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. |
|---|