Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест»
В данной статье рассмотрены вопросы инжиниринга гарантоспособных компьютерных систем. Проведен анализ технических средств и решений по реализации атрибутов гарантоспособности. В качестве примера была рассмотрена проблема безопасного пересечения железнодорожных переездов, которая в настоящее время яв...
Збережено в:
Дата: | 2018 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2018
|
Назва видання: | Математичні машини і системи |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.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 Ukraineid |
irk-123456789-150673 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1506732019-04-16T01:24:54Z Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» Муха, Ар.А. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення В данной статье рассмотрены вопросы инжиниринга гарантоспособных компьютерных систем. Проведен анализ технических средств и решений по реализации атрибутов гарантоспособности. В качестве примера была рассмотрена проблема безопасного пересечения железнодорожных переездов, которая в настоящее время является особенно актуальной для всех промышленно развитых стран в связи с ростом интенсивности и скорости движения поездов. В статье приводится атрибутивная модель гарантоспособности компьютерных систем. Согласно приведенной модели, рассмотрены основные методы, благодаря внедрению которых стало возможным повышение уровня соответствующих атрибутов. У даній статті розглянуті питання інжинірингу гарантоздатних комп'ютерних систем. Проведено аналіз технічних засобів і рішень з реалізації атрибутів гарантоздатності. Як приклад, було розглянуто проблему безпечного перетину залізничних переїздів, яка в даний час є особливо актуальною для всіх промислово розвинених країн у зв'язку з ростом інтенсивності і швидкості руху поїздів. У статті наводиться атрибутивна модель гарантоздатності комп’ютерних систем. Згідно з наведеною моделлю, розглянуті основні методи, завдяки впровадженню яких стало можливим підвищення рівня відповідних атрибутів. The paper considers the questions of engineering of dependable computer systems. The analysis of technical equipment and solutions on the implementation of the attributes of the dependability was carried out. As an example, the problem of the safe crossing of railway crossings was considered, which is now particularly relevant for all industrialized countries in connection with the increase in the intensity and speed of train traffic. The paper provides an attributive model of the computer systems' reliability. According to the above model, the main methods are considered, thanks to the introduction of which it became possible to increase the level of the corresponding attributes. 2018 Article Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» / Ар.А. Муха // Математичні машини і системи. — 2018. — № 4. — С. 109–116. — Бібліогр.: 11 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/150673 621.3.019.3 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
topic |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
spellingShingle |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Муха, Ар.А. Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» Математичні машини і системи |
description |
В данной статье рассмотрены вопросы инжиниринга гарантоспособных компьютерных систем. Проведен анализ технических средств и решений по реализации атрибутов гарантоспособности. В качестве примера была рассмотрена проблема безопасного пересечения железнодорожных переездов, которая в настоящее время является особенно актуальной для всех промышленно развитых стран в связи с ростом интенсивности и скорости движения поездов. В статье приводится атрибутивная модель гарантоспособности компьютерных систем. Согласно приведенной модели, рассмотрены основные методы, благодаря внедрению которых стало возможным повышение уровня соответствующих атрибутов. |
format |
Article |
author |
Муха, Ар.А. |
author_facet |
Муха, Ар.А. |
author_sort |
Муха, Ар.А. |
title |
Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
title_short |
Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
title_full |
Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
title_fullStr |
Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
title_full_unstemmed |
Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
title_sort |
практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «благовест» |
publisher |
Інститут проблем математичних машин і систем НАН України |
publishDate |
2018 |
topic_facet |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
url |
http://dspace.nbuv.gov.ua/handle/123456789/150673 |
citation_txt |
Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» / Ар.А. Муха // Математичні машини і системи. — 2018. — № 4. — С. 109–116. — Бібліогр.: 11 назв. — рос. |
series |
Математичні машини і системи |
work_keys_str_mv |
AT muhaara praktičeskieaspektygarantosposobnostikontrolʹnoinformacionnojsistemydlâželeznodorožnyhpereezdovblagovest |
first_indexed |
2023-05-20T17:35:36Z |
last_indexed |
2023-05-20T17:35:36Z |
_version_ |
1796153646625325056 |