Муха Ар. А. Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов "Благовест" / Ар. А. Муха // Мат. машини і системи. - 2018. - № 4. - С. 109-116. - Библиогр.: 11 назв. - рус.Рассмотрены вопросы инжиниринга гарантоспособных компьютерных систем. Проведен анализ технических средств и решений по реализации атрибутов гарантоспособности. В качестве примера была рассмотрена проблема безопасного пересечения железнодорожных переездов, которая в настоящее время является особенно актуальной для всех промышленно развитых стран в связи с ростом интенсивности и скорости движения поездов. Это связано с тем, что современные системы автоматической переездной сигнализации и автоматических шлагбаумов обладают рядом идеологических и технических недостатков, которые не позволяют обеспечить высокий уровень безопасности движения автотранспорта на переездах. Базой для примера стала контрольно-информационная система для железнодорожных переездов серии "Благовест". Система "Благовест" предусматривает повышение безопасности движения автотранспорта через переезды за счет повышения информированности участников движения о поездной ситуации на переезде и его участках приближения при помощи внедрения современных информационных технологий. Детально описаны аппаратные и технические решения, которые были внедрены при разработке системы для железнодорожных переездов. Продемонстрировано, как в процессе разработки контрольно-информационной системы на базе платформы отказоустойчивости реализовывались основные требования к гарантоспособным компьютерным системам. Согласно примеру описанной системы, производится обоснование стратегии реализации частичной отказоустойчивости, отказобезопасности. В соответствии со стратегией отказобезопасности рассмотрены технические, программные средства и алгоритм работы системы. Приведена атрибутивная модель гарантоспособности компьютерных систем. Согласно приведенной модели, рассмотрены основные методы, благодаря внедрению которых стало возможным повышение уровня соответствующих атрибутов. Індекс рубрикатора НБУВ: О211-048.1
Рубрики:
Шифр НБУВ: Ж23045 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|