Description: In the article is considered researching of the analytical models of the safety determination of the four-channel multiversion majority-redundant architectures.