Сборники тезисов • Инженерные системы и приборостроение • Проектирование встроенных систем и систем на кристалле
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2018.
Пример заполнения выходных данных:
Калужская А.С., Быковский С.В. Разработка средств встроенной верификации процессов операционных систем реального времени // Сборник тезисов докладов конгресса молодых ученых. Электронное издание [Электронный ресурс]. - Режим доступа: ссылка на страницу с тезисом, своб.
Разработка средств встроенной верификации процессов операционных систем реального времени
УДК: 004.451.44
Аннотация:
В данной работе исследована необходимость корректной записи требований в системах реального времени. Проанализированы различные подходы автоматизированной проверки требований в реальном времени и методы сбора данных о наблюдаемом поведении. Описывается разрабатываемая архитектура встроенных средств мониторинга и обнаружения ошибок времени выполнения. Дана оценка влияния наличия встроенных средств верификации на производительность системы.