| dc.contributor.author | Бочков, К. А. | |
| dc.contributor.author | Харлап, С. Н. | |
| dc.contributor.author | Сивко, Б. В. | |
| dc.date.accessioned | 2019-10-16T05:41:09Z | |
| dc.date.available | 2019-10-16T05:41:09Z | |
| dc.date.issued | 2014 | |
| dc.identifier.other | УДК 004.312.466 | |
| dc.identifier.uri | http://elib.bsut.by:8080/xmlui/handle/123456789/1851 | |
| dc.description.abstract | Рассмотрены особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики в контексте их влияния на проектирование и верификацию критически важных объектов информатизации. К рассматриваемым особенностям относятся: распределенные аппаратно-программные комплексы, режим эксплуатации 24/7, системы реального времени, безопасное состояние, стратегии обеспечения безопасности, независимость времени функциональной работы от технологической ситуации, многоканальная обработка, диверситет, конфигурирование, отладка и эксплуатация.
Приведены примеры использования особенностей для разработки и верификации безопасного программного обеспечения
аппаратно-программных комплексов. | ru |
| dc.language.iso | other | ru |
| dc.publisher | БелГУТ | ru |
| dc.subject | Программное обеспечение микропроцессорных систем | ru |
| dc.subject | Железнодорожная автоматика | ru |
| dc.subject | Железнодорожная телемеханика | ru |
| dc.subject | Объекты информатизации | ru |
| dc.subject | Аппаратно-программные комплексы | ru |
| dc.subject | Системы реального времени | ru |
| dc.subject | Стратегии обеспечения безопасности | ru |
| dc.title | Особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики | ru |
| dc.type | Article | ru |
