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

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

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



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






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


Труды института системного программирования РАН, 2018, том 30, выпуск 6, страницы 161–170
DOI: https://doi.org/10.15514/ISPRAS-2018-30(6)-9
(Mi tisp382)
 

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Конфигурационная сборка варианта ядра Linux для прикладных систем

С. В. Козинab

a Национальный исследовательский университет Высшая школа экономики
b Институт системного программирования им. В.П. Иванникова РАН
Список литературы:
Аннотация: Операционная система Linux - это современная открытая операционная система, содержащая более 10 000 конфигурационных переменных и множество функциональных системных элементов. Ставится задача создания некоторого варианта ОС для класса прикладных систем (медицины, биологии и др.). Эта задача решается путем анализа базовых функций ядра ОС и выбора из множества элементов наиболее подходящих для оперативного управления прикладными функциями. На их основе создается модель вариабельности из базовых характеристик ОС и модель варианта ОС, включающая основные функциональные элементы ядра ОС. Эти модели тестируются на предмет правильности их идентификации и связей с другими элементами. Затем по этим моделям проводится конфигурирование варианта ОС в виде конфигурационного файла. Этот файл верифицируется, и проходит комплексное тестирование на наборе тестов, проверяющих правильность функционирования операционной среды и процессов обработки заданий прикладных систем. В данной работе рассматривается способ сборки готового варианта ядра операционной системы. Будут затронуты необходимые пакеты, патчи для них и способы их установки. Затем представляется способ конфигурирования собранного варианта системы и настройки ядра для запуска.
Ключевые слова: система Linux, модель характеристик, модель системы, верификация, тестирование, вариант ядра ОС, конфигурационная сборка, верификация исходного файла, тестирование выходного файла.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-01-00352
Работа поддержана грантом РФФИ №16-01-00352
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: С. В. Козин, “Конфигурационная сборка варианта ядра Linux для прикладных систем”, Труды ИСП РАН, 30:6 (2018), 161–170
Цитирование в формате AMSBIB
\RBibitem{Koz18}
\by С.~В.~Козин
\paper Конфигурационная сборка варианта ядра Linux для прикладных систем
\jour Труды ИСП РАН
\yr 2018
\vol 30
\issue 6
\pages 161--170
\mathnet{http://mi.mathnet.ru/tisp382}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(6)-9}
\elib{https://elibrary.ru/item.asp?id=36825270}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp382
  • https://www.mathnet.ru/rus/tisp/v30/i6/p161
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:191
    PDF полного текста:107
    Список литературы:15
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024