| dc.contributor.author | Сивко, Б. В. | |
| dc.date.accessioned | 2019-10-19T07:43:54Z | |
| dc.date.available | 2019-10-19T07:43:54Z | |
| dc.date.issued | 2014 | |
| dc.identifier.other | УДК 004.312.466 | |
| dc.identifier.uri | http://elib.bsut.by:8080/xmlui/handle/123456789/1887 | |
| dc.description.abstract | Предложена методика доказательства безопасности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики с помощью формальных методов, в которой рассматриваются валидация и верификация программного обеспечения в неразрывной связи с аппаратными средствами анализируемых систем. Она базируется на опыте доказательства безопасности железнодорожных устройств и на мировой теории и практике работы с критически важными объектами информатизации. Методика позволяет проводить анализ на функциональную, информационную и кибернетическую безопасность произвольных железнодорожных аппаратно-программных комплексов с объемом программного обеспечения до 10 KLOC. | ru |
| dc.language.iso | other | ru |
| dc.publisher | БелГУТ | ru |
| dc.subject | Безопасность программного обеспечения микропроцессорных систем | ru |
| dc.subject | Верификация программного обеспечения | ru |
| dc.subject | Валидация программного обеспечения | ru |
| dc.title | Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики | ru |
| dc.type | Article | ru |
