|
Рубрика:
Наука и технологии /
Раздел для научных публикаций
|
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
|
Лаврищева Е.М.,
lavr@ispras.ru, Институт системного программирования им. В.П. Иванникова РАН
Петренко А.К.,
petrenko@ispras.ru, Институт системного программирования им. В.П. Иванникова РАН
Зеленов С.В.,
zelenov@ispras.ru, Институт системного программирования им. В.П. Иванникова РАН
Козин С.В.,
kozyyy@yandex.ru, Институт системного программирования им. В.П. Иванникова РАН
Технология сборочного создания
экспериментального варианта
ядра ОS Linux с обеспечением качества
для применения в прикладных и технических системах
Предлагается технология сборки экспериментального варианта ядра OS Linus с надежным и безопасным функционированием в технических устройствах и прикладных системах. Разработка варианта ядра проводилась в рамках проектов РФФИ № 352 и № 206 в период 2016–2021 гг. Представлена технология сборочного создания вариантов OS Linus и обеспечения безопасности и надежности функционирования варианта ядра в системах и устройствах. Описаны операции config, make конфигурационной сборки ядра ОС IEEE 828 Configuration – 1996, 2012, средства верификации, тестирования, безопасности, защиты и оценки надежности отдельных элементов и варианта ядра OS Linus. Приведены примеры методов обеспечения надежности, защиты и безопасности для технических и прикладных систем
Введение
Сборка, начиная с 1970-х ХХ века, являлась средством объединения отдельных элементарных объектов в общий продукт, систему, комплекс для решения прикладных и технических задач в рамках ВПК. Были созданы комплексы Прометей, Руза, Яуза и ряд технических приборов и устройств для авиации, флота и космоса (Липаев В.В. Фрагменты истории развития отечественного программирования для специализированных ЭВМ в 50–80-е годы. Синтег. Москва. 2003. 126 с.). Сформировался отечественный метод сборки [1–3], который обеспечивал связывание операцией link разноязыковых модулей и эквивалентное преобразование обмениваемых между ними данных. Примитивы преобразования (64) были нами разработаны и вошли в общесистемное ОС ПО (IBM, VS.MS, Intel, Unix и др.). Функциональные программные элементы для современных областей знаний накапливаются в библиотеках общего пользования Интернет в виде reuses, services, artefacts, object, components и др. Начиная с 1996 года, появились стандарты ISO/IEC Life Cycle-2001, ISO/IEC 11404 GDM-1996, IEEE 828 (Configuration) - 1996 и новые виды операций сборки (build, assembly, config, make, waver), которые позволяют не только собирать готовые ресурсы библиотек, но и их заменять, удалять и конфигурировать новые варианты программных и общесистемных ОС и Legasy Systems.
<...>
Полную версию статьи читайте в журнале
Подпишитесь на журнал
Купите в Интернет-магазине
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
|
Технология сборочного создания экспериментального варианта ядра ОS Linux с обеспечением качества для применения в прикладных и технических системах
