В статье рассматриваются проблемы обеспечения надежности и безопасности сложных систем с высокой ценой отказа, принцип разнотипности и математические модели и методы, которые разработаны на его основе и использованы при исследовании систем на различных этапах их жизненного цикла.