Особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики

Abstract

Рассмотрены особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики в контексте их влияния на проектирование и верификацию критически важных объектов информатизации. К рассматриваемым особенностям относятся: распределенные аппаратно-программные комплексы, режим эксплуатации 24/7, системы реального времени, безопасное состояние, стратегии обеспечения безопасности, независимость времени функциональной работы от технологической ситуации, многоканальная обработка, диверситет, конфигурирование, отладка и эксплуатация. Приведены примеры использования особенностей для разработки и верификации безопасного программного обеспечения аппаратно-программных комплексов.