The evidential independent verification of software of information and control systems, critical to safety: Functional model of scenario

Abstract

The results of development of the techniques which form the scenario of target technology ≪Evidential independent verification of I&C Systems Software of critical application≫ and utilities of the scenario support at information, analytical and organizational levels are presented in the article. The result of the scenario implementation is the quantitative definition of latent faults probability and completeness of test coverage for critical software. This technology can be used by I&C systems developers, certification and regulation bodies to carry out independent verification (or certification) during modernization and modification of critical software directly on client objects without intruding (interrupting) in technological processes.