Show simple item record

dc.contributor.authorБочков, К. А.
dc.contributor.authorХарлап, С. Н.
dc.contributor.authorСивко, Б. В.
dc.date.accessioned2019-10-16T05:41:09Z
dc.date.available2019-10-16T05:41:09Z
dc.date.issued2014
dc.identifier.otherУДК 004.312.466
dc.identifier.urihttp://elib.bsut.by:8080/xmlui/handle/123456789/1851
dc.description.abstractРассмотрены особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики в контексте их влияния на проектирование и верификацию критически важных объектов информатизации. К рассматриваемым особенностям относятся: распределенные аппаратно-программные комплексы, режим эксплуатации 24/7, системы реального времени, безопасное состояние, стратегии обеспечения безопасности, независимость времени функциональной работы от технологической ситуации, многоканальная обработка, диверситет, конфигурирование, отладка и эксплуатация. Приведены примеры использования особенностей для разработки и верификации безопасного программного обеспечения аппаратно-программных комплексов.ru
dc.language.isootherru
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.typeArticleru


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record