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