Сортировать по:
| Выпуск | Название | |
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
| С. В. Козин | ||
| "... Операционная система Linux - это современная открытая операционная система, содержащая более 10 000 ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... Ядро операционной системы Linux - это частый пример современных инженерных решений в области ..." | ||
| Том 29, № 2 (2017) | Развитие ядра операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... Существующие исследования, которые посвящены анализу развития ядра операционной системы Linux ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... Верификация драйверов ОС Linux - это широкая область для применения различных методов верификации ..." | ||
| Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... Быстрый темп развития ядра и драйверов операционной системы Linux, разрабатываемых большим ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. А. Васильев | ||
| "... Ошибки использования памяти в модулях ядра операционной системы Linux сложно обнаружить, но они ..." | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... . Описанная методика была успешно применена при тестировании и мониторинге компонентов ядра операционной ..." | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... апробирован на модулях ядра операционной системы Linux, что позволило обнаружить несколько состояний гонок ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... статическая верификация. Для успешного применения существующих инструментов к ядру операционной системы Linux ..." | ||
| Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... Ядро операционной системы (ОС) представляет собой критичную в отношении надежности ..." | ||
| Том 32, № 3 (2020) | Трассировка сетевых пакетов в ядре Linux с использованием eBPF | Аннотация похожие документы |
| Марк Германович КОВАЛЕВ | ||
| "... и устранения таких проблем, их функциональность ограничена программным интерфейсом, предоставляемым ядром Linux ..." | ||
| Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, А. В. Хорошилов | ||
| "... В статье рассматриваются методы тестирования компонентов ядра ОС Linux с использованием симуляции ..." | ||
| Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефремов, М. У. Мандрыкин | ||
| "... функций ядра ОС Linux с помощью стека инструментов AstraVer. В набор включены преимущественно функции ..." | ||
| Том 35, № 3 (2023) | Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ | ||
| "... подход применяется к нескольким важным частям ядра Linux, что позволяет понять, что происходит с ошибками ..." | ||
| Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, В. А. Мартиросян | ||
| "... В статье исследуется проблема тестирования драйверов файловых систем ОС Linux. По результатам ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... инкрементального построения спецификаций моделей окружения и требований для подсистем монолитного ядра операционных ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... У большинства современных, повсеместно используемых операционных систем архитектура ядра в той или ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Сергей Сергеевич ЖИЛЯКОВ, Александр Игоревич СМИРНОВ | ||
| "... В операционной системе (ОС) Astra Linux кроме традиционного для большинства ОС дискреционного ..." | ||
| Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация похожие документы |
| В. Ю. Чепцов, А. В. Хорошилов | ||
| "... в ПО виртуальных машин, состоит в том, чтобы поместить всю операционную систему под гипервизор и создать внешний ..." | ||
| Том 27, № 5 (2015) | Метод легковесного статического анализа для поиска состояний гонок | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... предметом нашего исследования являются ядра операционных систем, но предложенный подход может быть применен ..." | ||
| Том 37, № 5: сентябрь-октябрь | Окрашивание символьных графов памяти для выявления ошибок, специфичных для DRM-драйверов Linux | Аннотация похожие документы |
| Екатерина Михайловна ОРЛОВА, Антон Александрович ВАСИЛЬЕВ, Олег Максимович ПЕТРОВ | ||
| "... Rendering Manager (DRM) ядра операционной системы Linux. Её причиной является некорректный способ выделения ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Адаптация алгоритма ThreadSanitizer для обнаружения гонок по данным в ядре ОСРВ | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич ЕЛЬЧИНОВ | ||
| "... и тестирования ядра операционной системы реального времени и его преимущества и недостатки в сравнении с другими ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... исходного кода драйверов устройств операционных систем и описаны существующие системы верификации драйверов ..." | ||
| Том 34, № 4 (2022) | Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС | Аннотация PDF (Rus) похожие документы |
| Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН | ||
| "... эффективность проведения тестирования компонентов защищенной ОС Astra Linux. ..." | ||
| Том 37, № 2: март-апрель | Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ | ||
| "... по высшим классам защиты и уровням доверия операционной системы (ОС) Astra Linux, обеспечивающий наряду ..." | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... устройств. Существенная часть таких устройств работает под управлением операционных систем (ОС) семейства ..." | ||
| Том 37, № 3: май-июнь | Обзор механизмов усиления защищенности операционных систем и пользовательских приложений | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Александр Константинович ПЕТРЕНКО, Борис Аронович ПОЗИН, Виталий Адольфович СЕМЕНОВ | ||
| "... реализации защитных механизмов в современных операционных системах, в частности, в ядре Linux. Работа ..." | ||
| Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
| "... Linux, а также ряда операционных систем реального времени. ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Интроспекция виртуальной машины на основе мониторинга системных вызовов и структур данных ядра | Аннотация PDF (Rus) похожие документы |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... высокоуровневая информация о состоянии объектов гостевой операционной системы. Данную проблему решают подходы ..." | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| "... вычислительных модулях. Международный стандарт ARINC 653 описывает требования к операционной системе реального ..." | ||
| Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
| Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
| "... полезность продемонстрирована на драйверах ядра операционной системы Linux. ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... многораздельная операционная система реального времени, которая способна реагировать на события от устройств ..." | ||
| Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
| В. О. Мордань | ||
| "... . Апробация реализованных методов на модулях ядра операционной системы Linux продемонстрировала ..." | ||
| Том 31, № 6 (2019) | Кэширование данных в мультиконтейнерных системах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Андреевич Грушин, Денис Олегович Лазарев, Станислав Александрович Фомин | ||
| "... связанных групп процессов, разделяющих общее ядро операционной системы. Эффективность контейнеризации ..." | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| "... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке ..." | ||
| Том 36, № 3 (2024) | Декларативный подход к задаче интроспекции виртуальной машины | Аннотация PDF (Rus) похожие документы |
| Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... функций ядра Linux, обращающихся к искомым полям, текущий подход предлагает использовать проверки, схожие ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| "... были успешно использованы в ходе верификации нескольких промышленных проектов, в первую очередь ядра ..." | ||
| Том 27, № 2 (2015) | Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян | ||
| "... в виде предупреждений для разработчика. В статье приводится результаты анализа ядра Linux 2.6 и Android ..." | ||
| Том 30, № 5 (2018) | Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf | Аннотация PDF (Rus) похожие документы |
| С. Г. Ковалёв | ||
| "... интерфейса ядра со стороны гипервизора и обеспечивает переносимость между различными версиями операционной ..." | ||
| Том 38, № 3: часть 4. май-июнь | Механизмы управления доступом на основе жетонов для микроядра общего назначения | Аннотация PDF (Rus) похожие документы |
| Евгений Сергеевич БАСКОВ, Алексей Владимирович ХОРОШИЛОВ, Александр Константинович ПЕТРЕНКО | ||
| "... жетонов (capability-based security) в ядрах операционных систем, обсуждается, как принятые разработчиками ..." | ||
| Том 27, № 3 (2015) | Удаленное обслуживание системных вызовов в микроядерном гипервизоре | Аннотация PDF (Rus) похожие документы |
| К. Маллачиев, Н. Пакулин | ||
| "... от вредоносных приложений, включая злонамеренный код на самом высоком уровне привилегий в ядре ОС. Использование ..." | ||
| Том 27, № 6 (2015) | Использование ABI для интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев | ||
| "... является плагин. Существующие подходы (RTKDSM, DECAF) получают данные из операционной системы с помощью ..." | ||
| 1 - 44 из 44 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
