UPM Institutional Repository

The measurement of safety criteria in safety critical systems


Jasser, Muhammed Basheer and Din, Jamilah and Atan, Rodziah and Jusoh, Yusmadi Yah (2019) The measurement of safety criteria in safety critical systems. International Journal of Advanced Trends in Computer Science and Engineering, 8 (1.4). pp. 501-506. ISSN 2278-3091


Safety critical systems use software to meet their unctionalities. Failures in these software lead to a very high impact on the environment in which the safety critical systems are used. Several criteria are considered in safety critical systems, which are: reliability, availability, maintainability and safety. In this paper, we focus on measuring the safety criterion in safety critical systems. Safety has some factors that are: correctness, security, responsiveness and testability. Correctness is one of the most important factors of safety. Correctness also has sub-factors such as: completeness and consistency. In this paper, we investigate the safety criteria and safety measurement via two specific domains: transportation systems and business intelligent systems. Also, these criteria are employed in our developed prototype for verifying the safety criteria of safety critical systems and supporting the management of safety critical systems.

Download File

[img] Text
The measurement.pdf

Download (181kB)

Additional Metadata

Item Type: Article
Divisions: Faculty of Computer Science and Information Technology
DOI Number: https://doi.org/10.30534/ijatcse/2019/7881.42019
Publisher: World Academy of Research in Science and Engineering
Keywords: Safety critical systems; Safety; Correctness; Formal methods; Formal verification
Depositing User: Mr. Sazali Mohamad
Date Deposited: 17 Oct 2020 21:42
Last Modified: 17 Oct 2020 21:42
Altmetrics: http://www.altmetric.com/details.php?domain=psair.upmedu.my&doi= 10.30534/ijatcse/2019/7881.42019
URI: http://psasir.upm.edu.my/id/eprint/82540
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item