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

• Муха Артем Андрійович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"