Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Математичні машини і системи
Дата:	2018
Автор:	Муха, Ар.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2018
Теми:	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/150673
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» / Ар.А. Муха // Математичні машини і системи. — 2018. — № 4. — С. 109–116. — Бібліогр.: 11 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Радиомикропроцессорные информационные системы для железнодорожных переездов серии «Благовест»
за авторством: Федухин, А.В., та інші
Опубліковано: (2014)

Новый подход к автоматизации переездов на железнодорожном транспорте
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)

К вопросу об определении весов метрик некоторого атрибута гарантоспособности системы
за авторством: Ярошенко, В.Н., та інші
Опубліковано: (2014)

Информационный подход к повышению безопасности движения на железнодорожных переездах
за авторством: Федухин, А.В., та інші
Опубліковано: (2015)

Экспертная оценка уровня гарантоспособности компьютерных систем
за авторством: Федухин, А.В.
Опубліковано: (2019)

Управление процессом разработки сложных технических систем и процессов. Особенности применения FMEA-анализа
за авторством: Муха, Ар.А.
Опубліковано: (2012)

Решение проблем гарантоспособности и отказоустойчивости систем в аспекте базисов компьютерной науки
за авторством: Теслер, Г.С.
Опубліковано: (2008)

К вопросу о достоверности функционирования компьютерных систем с квазимостиковой структурой
за авторством: Муха, Ар.А., та інші
Опубліковано: (2019)

Имитационное моделирование отказоустойчивой резервированной двухканальной системы в интегрированной инструментальной среде MATLAB SIMULINK
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)

Резервированные микроконтроллеры и системы на их основе
за авторством: Муха, Ар.А., та інші
Опубліковано: (2019)

Обеспечение живучести систем противоаварийной автоматики на гидроэлектростанциях
за авторством: Федухин, А.В., та інші
Опубліковано: (2018)

Структурный синтез и анализ отказоустойчивых компьютерных систем
за авторством: Муха, Ар.А., та інші
Опубліковано: (2013)

К вопросу об аппаратной реализации избыточных структур: резервированная двухканальная система с реконфигурацией
за авторством: Федухин, А.В., та інші
Опубліковано: (2010)

К вопросу об аппаратной реализации избыточных структур. Резервирование цифровых функциональных блоков
за авторством: Федухин, А.В., та інші
Опубліковано: (2010)

К вопросу взаимосвязи величин метрик и их весов
за авторством: Федухин, А.В., та інші
Опубліковано: (2015)

К вопросу моделирования надежности восстанавливаемой квазимостиковой структуры с учетом тренда параметров надежности составных частей
за авторством: Федухин, А.В., та інші
Опубліковано: (2016)

К вопросу о надежности невосстанавливаемой системы с квазимостиковой структурой элементов
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)

К вопросу о связи надежности и достоверности функционирования компьютерных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)

Доказательство безопасности компьютерных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2016)

Приближенная оценка надежности восстанавливаемых изделий на этапе эскизного проектирования
за авторством: Федухин, А.В., та інші
Опубліковано: (2018)

Статистическая оценка точности метода квантилей при информационной поддержке эксплуатации авионики
за авторством: Грибов, В.М., та інші
Опубліковано: (2016)

К вопросу о сравнительной оценке гарантоспособных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2014)

ПЛИС-системы как средство повышения отказоустойчивости
за авторством: Федухин, А.В., та інші
Опубліковано: (2010)

Некоторые аспекты планирования и проведения внутреннего аудита
за авторством: Стрельников, П.В.
Опубліковано: (2007)

К оценке граничных уровней контролируемого показателя надежности
за авторством: Стрельников, П.В.
Опубліковано: (2010)

Один із прикладів використання методу пошуку несправностей у складних приладах з урахуванням зовнішніх факторів
за авторством: Нікітенко, Є.В.
Опубліковано: (2014)

Одиниці виміру ризику за теорією ризик-орієнтованого підходу
за авторством: Бєгун, В.В., та інші
Опубліковано: (2019)

Учет вторичных дефектов в моделях надежности программных средств
за авторством: Одарущенко, О.Н., та інші
Опубліковано: (2010)

К оценке достоверности при сертификационных испытаниях на надежность
за авторством: Стрельников, П.В.
Опубліковано: (2011)

О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности
за авторством: Грибов, В.М., та інші
Опубліковано: (2014)

Оптимізування технічного обслуговування фазованих антенних решіток
за авторством: Костановський, В.В.
Опубліковано: (2015)

Прогнозирование остаточной долговечности паяных соединений
за авторством: Иванов, Н.Н., та інші
Опубліковано: (2012)

Исследование свойств статистики, применяемой для оценки вероятности безотказной работы
за авторством: Стрельников, В.П., та інші
Опубліковано: (2008)

Оценка уровня целостности гарантоспособных компьютерных систем
за авторством: Сеспедес Гарсия, Н.В.
Опубліковано: (2013)

Новая технология исследования надежности машин и аппаратуры
за авторством: Стрельников, В.П.
Опубліковано: (2007)

К вопросу об аппаратной реализации избыточных структур. Поэлементное резервирование
за авторством: Федухин, А.В.
Опубліковано: (2009)

Об одном подходе к установлению грифа секретности документу с учетом взвешенных коэффициентов оцениваемых факторов конфиденциальности
за авторством: Сулейманова, А.Н.
Опубліковано: (2018)

Исследование методов контроля средних показателей безотказности вычислительной техники
за авторством: Стрельников, В.П., та інші
Опубліковано: (2005)

Вероятностная оценка надежности структуры сложной системы
за авторством: Ратобыльская, Д.В.
Опубліковано: (2012)

Планирование испытаний при оценке безотказности технических систем
за авторством: Стрельников, В.П., та інші
Опубліковано: (2006)