Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест»
В данной статье рассмотрены вопросы инжиниринга гарантоспособных компьютерных систем. Проведен анализ технических средств и решений по реализации атрибутов гарантоспособности. В качестве примера была рассмотрена проблема безопасного пересечения железнодорожных переездов, которая в настоящее время яв...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2018 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/150673 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» / Ар.А. Муха // Математичні машини і системи. — 2018. — № 4. — С. 109–116. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862546445834387456 |
|---|---|
| author | Муха, Ар.А. |
| author_facet | Муха, Ар.А. |
| citation_txt | Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» / Ар.А. Муха // Математичні машини і системи. — 2018. — № 4. — С. 109–116. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | В данной статье рассмотрены вопросы инжиниринга гарантоспособных компьютерных систем. Проведен анализ технических средств и решений по реализации атрибутов гарантоспособности. В качестве примера была рассмотрена проблема безопасного пересечения железнодорожных переездов, которая в настоящее время является особенно актуальной для всех промышленно развитых стран в связи с ростом интенсивности и скорости движения поездов. В статье приводится атрибутивная модель гарантоспособности компьютерных систем. Согласно приведенной модели, рассмотрены основные методы, благодаря внедрению которых стало возможным повышение уровня соответствующих атрибутов.
У даній статті розглянуті питання інжинірингу гарантоздатних комп'ютерних систем. Проведено аналіз технічних засобів і рішень з реалізації атрибутів гарантоздатності. Як приклад, було розглянуто проблему безпечного перетину залізничних переїздів, яка в даний час є особливо актуальною для всіх промислово розвинених країн у зв'язку з ростом інтенсивності і швидкості руху поїздів. У статті наводиться атрибутивна модель гарантоздатності комп’ютерних систем. Згідно з наведеною моделлю, розглянуті основні методи, завдяки впровадженню яких стало можливим підвищення рівня відповідних атрибутів.
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.
|
| first_indexed | 2025-11-25T10:22:03Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-150673 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-11-25T10:22:03Z |
| publishDate | 2018 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Муха, Ар.А. 2019-04-12T19:00:17Z 2019-04-12T19:00:17Z 2018 Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» / Ар.А. Муха // Математичні машини і системи. — 2018. — № 4. — С. 109–116. — Бібліогр.: 11 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/150673 621.3.019.3 В данной статье рассмотрены вопросы инжиниринга гарантоспособных компьютерных систем. Проведен анализ технических средств и решений по реализации атрибутов гарантоспособности. В качестве примера была рассмотрена проблема безопасного пересечения железнодорожных переездов, которая в настоящее время является особенно актуальной для всех промышленно развитых стран в связи с ростом интенсивности и скорости движения поездов. В статье приводится атрибутивная модель гарантоспособности компьютерных систем. Согласно приведенной модели, рассмотрены основные методы, благодаря внедрению которых стало возможным повышение уровня соответствующих атрибутов. У даній статті розглянуті питання інжинірингу гарантоздатних комп'ютерних систем. Проведено аналіз технічних засобів і рішень з реалізації атрибутів гарантоздатності. Як приклад, було розглянуто проблему безпечного перетину залізничних переїздів, яка в даний час є особливо актуальною для всіх промислово розвинених країн у зв'язку з ростом інтенсивності і швидкості руху поїздів. У статті наводиться атрибутивна модель гарантоздатності комп’ютерних систем. Згідно з наведеною моделлю, розглянуті основні методи, завдяки впровадженню яких стало можливим підвищення рівня відповідних атрибутів. 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» Практичні аспекти гарантоспроможності контрольно-інформаційної системи для залізничних переїздів «Благовіст» Practical aspects of the dependability of the control and information system for the railway crossing “Blagovist” Article published earlier |
| spellingShingle | Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» Муха, Ар.А. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| title | Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
| title_alt | Практичні аспекти гарантоспроможності контрольно-інформаційної системи для залізничних переїздів «Благовіст» Practical aspects of the dependability of the control and information system for the railway crossing “Blagovist” |
| title_full | Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
| title_fullStr | Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
| title_full_unstemmed | Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
| title_short | Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест» |
| title_sort | практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «благовест» |
| topic | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| topic_facet | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/150673 |
| work_keys_str_mv | AT muhaara praktičeskieaspektygarantosposobnostikontrolʹnoinformacionnoisistemydlâželeznodorožnyhpereezdovblagovest AT muhaara praktičníaspektigarantospromožnostíkontrolʹnoínformacíinoísistemidlâzalízničnihpereízdívblagovíst AT muhaara practicalaspectsofthedependabilityofthecontrolandinformationsystemfortherailwaycrossingblagovist |