Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 4 (2018) Динамическая верификация контроллеров шин систем-на-кристалле Аннотация  похожие документы
М. М. Чупилко, Е. А. Дроздова
"... . The core idea is to verify bus controllers and supporting interface parts connected to a reference model ..."
 
Том 29, № 4 (2017) Верификация контроллеров 10 гигабитного Ethernet Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд
"... В статье приведены подходы, использовавшиеся в процессе верификации контроллеров 10 гигабитного ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... and the test linked to the testbench as a PLI-application, an adapter for the DUT-system bus interface ..."
 
Том 30, № 3 (2018) Верификация контроллеров связи в системах на кристалле Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев
"... В статье описаны подходы, которые использовались для верификации контроллеров связи в системах на ..."
 
Том 30, № 3 (2018) Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Аннотация  похожие документы
Д. А. Лебедев, И. А. Стотланд
"... В статье предложены подходы к функциональной верификации контроллеров сопряжения интерфейсов в ..."
 
Том 24 (2013) Прямая передача данных между ПЛИС Virtex-7 по шине PCI Express Аннотация  PDF (Rus)  похожие документы
Ю. А. Румянцев
"... This article describes two types of data transfers via PCI Express bus involving several FPGA ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
"... В статье описан метод верификации подсистемы прямого доступа к памяти, примененный к семейству ..."
 
Том 31, № 4 (2019) Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации Аннотация  похожие документы
Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга
"... аппаратного прототипа квадрокоптера и разработка программного решения для полетного контроллера с высокими ..."
 
Том 32, № 6 (2020) Формальная модель партицированной операционной системы реального времени на Promela Аннотация  похожие документы
Сергей Михайлович СТАРОЛЕТОВ
"... Текущий стандарт надежного программного обеспечения для бортовых контроллеров – это ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... фундаментальной проблемой, для решения которой применяют разнообразные средства функциональной верификации. В ..."
 
Том 30, № 6 (2018) Компонентная верификация операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов
"... В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации ..."
 
Том 32, № 5 (2020) Экспертная оценка результатов верификации инструментов верификации моделей программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ
"... При проверке программ на соответствие спецификациям требований инструменты верификации моделей ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... вариабельных переменных несмотря на современную инженерию. Исследователи в области верификации предлагают ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
"... Верификация драйверов ОС Linux - это широкая область для применения различных методов верификации ..."
 
Том 30, № 4 (2018) К формальной верификации стандартов кибербезопасности Аннотация  похожие документы
Томаш Кулик, Питер Горм Ларсен
 
Том 34, № 2 (2022) Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» Аннотация  похожие документы
Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ
"... тестовых программ для верификации когерентности памяти микропроцессоров семейства "Эльбрус". Рассмотрены ..."
 
Том 29, № 6 (2017) Формальная верификация библиотечных функций ядра Linux Аннотация  PDF (Rus)  похожие документы
Д. В. Ефремов, М. У. Мандрыкин
"... В статье авторами рассматриваются результаты дедуктивной верификации набора из 26 библиотечных ..."
 
Том 33, № 6 (2021) Возможности и ограничения инструментов верификации моделей программ Аннотация  похожие документы
Евгений Михайлович НОВИКОВ
"... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..."
 
Том 35, № 3 (2023) Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки Аннотация  похожие документы
Олег Максимович ПЕТРОВ
"... Зачастую инструмент формальной верификации моделей программ не может получить вердикт за ..."
 
Том 25 (2013) Моделирование окружения драйверов устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..."
 
Том 22 (2012) Использование стандарта OpenCL для программирования ПЛИС Аннотация  PDF (Rus)  похожие документы
Андрей Белеванцев, Алексей Меркулов, Владимир Платонов
"... exchange and task management for FPGAs given that CPU and FPGA are connected via PCI-express bus. Basically ..."
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
"... Очень часто инструменты статической верификации являются результатом многолетних научно ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... В статье представлена методика масштабируемой функциональной верификации протоколов когерентности ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... Статья адресована актуальной проблеме верификации масштабных моделей данных, применяемых в ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... В последние годы ИСП РАН разрабатывает систему дедуктивной верификации машинного (бинарного) кода ..."
 
Том 31, № 3 (2019) Автономная верификация IOMMU с поддержкой виртуализации Аннотация  похожие документы
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков
"... В данной статье представлен подход к автономной верификации блока управления памятью ввода / вывода ..."
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... показывается, что различные подходы к статической верификации, которые нацелены на решение данной задачи, имеют ..."
 
Том 29, № 3 (2017) Комбинация методов статической верификации композиции требований Аннотация  PDF (Rus)  похожие документы
В. О. Мордань
"... Статическая верификация программного обеспечения доказывает выполнение требований в программах ..."
 
Том 30, № 3 (2018) О верификации конечных автоматов-преобразователей над полугруппами Аннотация  похожие документы
А. Р. Гнатенко, В. А. Захаров
"... . В статье исследуются задача верификации программ такого вида. В качестве формальных моделей для ..."
 
Том 32, № 6 (2020) Верификация соответствия между разноуровневыми моделями функциональных требований Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович ХОРОШИЛОВ
"... просты и пригодны для применения при решении практических задач верификации сложных видов функциональных ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке Си ..."
 
Том 29, № 4 (2017) Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Аннотация  похожие документы
А. Р. Волков, М. У. Мандрыкин
"... Верификация программного обеспечения - вид деятельности, направленный на контроль качества ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка Си ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... Существующие на сегодняшний день инструменты дедуктивной верификации позволяют успешно доказывать ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... верификации. Для достижения данной цели необходимо решить ряд задач, одной из которых является слияние модели ..."
 
Том 36, № 4 (2024) Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации Аннотация  PDF (Rus)  похожие документы
Алексей Александрович КАРНОВ
"... В данной статье обсуждается проблема применения метода динамической верификации к большим и ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... В данной работе ставится задача разработки методов качественной верификации операционных систем ..."
 
1 - 39 из 153 результатов 1 2 3 4 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)