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