Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2017, том 29, выпуск 6, страницы 25–48
DOI: https://doi.org/10.15514/ISPRAS-2017-29(6)-2 (Mi tisp272) 		 
Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем

И. С. Захаров, Е. М. Новиков

Институт системного программирования им. В.П. Иванникова РАН
PDF полного текста (618 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2017-29(6)-2
Аннотация: Методы и инструменты автоматической статической верификации позволяют выявить все ошибки искомых видов в целевых программах при выполнении определенных предположений даже в условиях отсутствия полных моделей и формальных спецификаций. Эта возможность является основой предлагаемого в работе метода инкрементального построения спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем. Данный метод был реализован в системе статической верификации Klever и применен для проверки подсистемы поддержки терминальных устройств ядра ОС Linux.
Ключевые слова: операционная система, монолитное ядро, качество программной системы, статическая верификация, формальная спецификация, декомпозиция программной системы, модель окружения.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-31-60097
Исследование выполнено при финансовой поддержке РФФИ, проект «Инкрементальная статическая верификация подсистем монолитного ядра операционных систем» № 16-31-60097.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: И. С. Захаров, Е. М. Новиков, “Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем”, Труды ИСП РАН, 29:6 (2017), 25–48
Цитирование в формате AMSBIB
\RBibitem{ZakNov17}
\by И.~С.~Захаров, Е.~М.~Новиков
\paper Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем
\jour Труды ИСП РАН
\yr 2017
\vol 29
\issue 6
\pages 25--48
\mathnet{http://mi.mathnet.ru/tisp272}
\crossref{https://doi.org/10.15514/ISPRAS-2017-29(6)-2}
\elib{https://elibrary.ru/item.asp?id=32309065}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp272
  • https://www.mathnet.ru/rus/tisp/v29/i6/p25
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:145
    PDF полного текста:71
    Список литературы:26
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024