Vinnytsia National Technical University, Vinnytsia, 21000, Ukraine.
Lviv Polytechnic National University, Lviv, 79013, Ukraine.
Sci Rep. 2022 Apr 30;12(1):7089. doi: 10.1038/s41598-022-11193-w.
The functional safety assessment is one of the primary tasks both at the design stage and at the stage of operation of critical infrastructure at all levels. The article's main contribution is the information technology of calculating the author's metrics of functional safety for estimating the instance of the model of the cyber-physical system operation. The calculation of metric criteria analytically summarizes the results of expert evaluation of the system in VPR-metrics and the results of statistical processing of information on the system's operation presented in the parametric space Markov model of this process. The advantages of the proposed approach are the following: the need to process orders of magnitude less empirical data to obtain objective estimates of the investigated system; taking into account the configuration scheme and architecture of the security subsystem of the investigated system when calculating the metric; completeness, compactness, and simplicity of interpretation of evaluation results; the ability to assess the achievability of the limit values of the metric criteria based on the model of operation of the investigated system. The paper demonstrates the application of the proposed technology to assess the functional safety of the model of a real cyber-physical system.
功能安全评估是各级关键基础设施设计阶段和运行阶段的主要任务之一。本文的主要贡献是计算功能安全度量的信息技术，用于估计网络物理系统运行模型的实例。度量标准的计算通过 VPR 度量对系统的专家评估结果和参数空间马尔可夫模型中呈现的系统运行信息的统计处理结果进行了分析总结。所提出方法的优点如下：需要处理数量级更小的经验数据，以获得对所研究系统的客观估计；在计算度量时考虑到所研究系统的安全子系统的配置方案和体系结构；评估结果的完整性、紧凑性和解释的简单性；根据所研究系统的运行模型评估度量标准的极限值的实现能力。本文展示了该技术在评估实际网络物理系统模型的功能安全性方面的应用。
