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