В статье рассмотрены особенности моделей готовности информационно-управляющих систем космических аппаратов. Для двухканальной одноверсионной структуры системы предложены имитационные модели, учитывающие изменение параметров потоков отказов программных средств вследствие проведения оперативной верификации или обновления программных функций. Указаны особенности построения имитационных моделей, проанализирована сходимость их результатов с аналитическими многофрагментными моделями. Сделаны выводы о возможности применения имитационных моделей при определении оптимального варианта проведения верификации и коррекции проектных дефектов и обновления функций системы в процессе ее применения Ключевые слова: имитационная модель, информационно-управляющие системы, оперативная верификация, обновление программных функций
