Актуальные статьи
Информатика. Информационные и вычислительные системы
Показать все статьи
И. А. Дудина, А. А. Белеванцев
Применение статического символьного выполнения для поиска ошибок доступа к буферу
Применение статического символьного выполнения для поиска ошибок доступа к буферу
Ошибки доступа к буферу остаются одним из наиболее серьезных источников ошибок и уязвимостей в программах на языках Си и Си++. Для их обнаружения в числе прочих подходов используется статический анализ.
Рубрика:
Информатика. Информационные и вычислительные системы
П. М. Вдовин, В. А. Костенко
Организация передачи сообщений в сетях AFDX
Организация передачи сообщений в сетях AFDX
В работе ставится задача организации периодически передаваемых сообщений для бортовых сетей, основанных на стандарте Avionics Full Duplex Ethernet (AFDX), и рассматривается алгоритм ее решения.
Рубрика:
Информатика. Информационные и вычислительные системы
