Технология сборочного создания экспериментального варианта ядра ОS Linux с обеспечением качества для применения в прикладных и технических системах::
www.samag.ru
     
Поиск   
              
 www.samag.ru    Web  0 товаров , сумма 0 руб.
E-mail
Пароль  
 Запомнить меня
Регистрация | Забыли пароль?
Журнал "Системный администратор"
Журнал «БИТ»
Подписка
Архив номеров
Где купить
Наука и технологии
Авторам
Рекламодателям
Контакты
   

  Опросы
  Статьи

Событие  

В банке рассола ждет сисадмина с полей фрактал-кукумбер

Читайте впечатления о слете ДСА 2024, рассказанные волонтером и участником слета

 Читать далее...

Организация бесперебойной работы  

Бесперебойная работа ИТ-инфраструктуры в режиме 24/7 Как обеспечить ее в нынешних условиях?

Год назад ИТ-компания «Крок» провела исследование «Ключевые тренды сервисного рынка 2023». Результаты

 Читать далее...

Книжная полка  

Читайте и познавайте мир технологий!

Издательство «БХВ» продолжает радовать выпуском интересных и полезных, к тому же прекрасно

 Читать далее...

СУБД PostgreSQL  

СУБД Postgres Pro

Сертификация по новым требованиям ФСТЭК и роль администратора без доступа к данным

 Читать далее...

Критическая инфраструктура  

КИИ для оператора связи. Готовы ли компании к повышению уровня кибербезопасности?

Похоже, что провайдеры и операторы связи начали забывать о требованиях законодательства

 Читать далее...

Архитектура ПО  

Архитектурные метрики. Качество архитектуры и способность системы к эволюционированию

Обычно соответствие программного продукта требованиям мы проверяем через скоуп вполне себе понятных

 Читать далее...

Как хорошо вы это знаете  

Что вам известно о разработках компании ARinteg?

Компания ARinteg (ООО «АРинтег») – системный интегратор на российском рынке ИБ –

 Читать далее...

Графические редакторы  

Рисование абстрактных гор в стиле Paper Cut

Векторный графический редактор Inkscape – яркий представитель той прослойки open source, с

 Читать далее...

День сисадмина  

Учите матчасть! Или как стать системным администратором

Лето – время не только отпусков, но и хорошая возможность определиться с профессией

 Читать далее...

День сисадмина  

Живой айтишник – это всегда движение. Остановка смерти подобна

Наши авторы рассказывают о своем опыте и дают советы начинающим системным администраторам.

 Читать далее...

Виртуализация  

Рынок решений для виртуализации

По данным «Обзора российского рынка инфраструктурного ПО и перспектив его развития», сделанного

 Читать далее...

Книжная полка  

Как стать креативным и востребованным

Издательский дом «Питер» предлагает новинки компьютерной литературы, а также книги по бизнесу

 Читать далее...

Книжная полка  

От создания сайтов до разработки и реализации API

В издательстве «БХВ» недавно вышли книги, которые будут интересны системным администраторам, создателям

 Читать далее...

Разбор полетов  

Ошибок опыт трудный

Как часто мы легко повторяем, что не надо бояться совершать ошибки, мол,

 Читать далее...

1001 и 1 книга  
19.03.2018г.
Просмотров: 6144
Комментарии: 0
Машинное обучение с использованием библиотеки Н2О

 Читать далее...

12.03.2018г.
Просмотров: 6857
Комментарии: 0
Особенности киберпреступлений в России: инструменты нападения и защита информации

 Читать далее...

12.03.2018г.
Просмотров: 4140
Комментарии: 0
Глубокое обучение с точки зрения практика

 Читать далее...

12.03.2018г.
Просмотров: 2978
Комментарии: 0
Изучаем pandas

 Читать далее...

12.03.2018г.
Просмотров: 3781
Комментарии: 0
Программирование на языке Rust (Цветное издание)

 Читать далее...

19.12.2017г.
Просмотров: 3789
Комментарии: 0
Глубокое обучение

 Читать далее...

19.12.2017г.
Просмотров: 6283
Комментарии: 0
Анализ социальных медиа на Python

 Читать далее...

19.12.2017г.
Просмотров: 3134
Комментарии: 0
Основы блокчейна

 Читать далее...

19.12.2017г.
Просмотров: 3434
Комментарии: 0
Java 9. Полный обзор нововведений

 Читать далее...

16.02.2017г.
Просмотров: 7246
Комментарии: 0
Опоздавших не бывает, или книга о стеке

 Читать далее...

17.05.2016г.
Просмотров: 10616
Комментарии: 0
Теория вычислений для программистов

 Читать далее...

30.03.2015г.
Просмотров: 12336
Комментарии: 0
От математики к обобщенному программированию

 Читать далее...

18.02.2014г.
Просмотров: 13969
Комментарии: 0
Рецензия на книгу «Читаем Тьюринга»

 Читать далее...

13.02.2014г.
Просмотров: 9100
Комментарии: 0
Читайте, размышляйте, действуйте

 Читать далее...

12.02.2014г.
Просмотров: 7053
Комментарии: 0
Рисуем наши мысли

 Читать далее...

10.02.2014г.
Просмотров: 5362
Комментарии: 3
Страна в цифрах

 Читать далее...

18.12.2013г.
Просмотров: 4594
Комментарии: 0
Большие данные меняют нашу жизнь

 Читать далее...

18.12.2013г.
Просмотров: 3402
Комментарии: 0
Компьютерные технологии – корень зла для точки роста

 Читать далее...

04.12.2013г.
Просмотров: 3129
Комментарии: 0
Паутина в облаках

 Читать далее...

03.12.2013г.
Просмотров: 3379
Комментарии: 0
Рецензия на книгу «MongoDB в действии»

 Читать далее...

02.12.2013г.
Просмотров: 3000
Комментарии: 0
Не думай о минутах свысока

 Читать далее...

Друзья сайта  

 Технология сборочного создания экспериментального варианта ядра ОS Linux с обеспечением качества для применения в прикладных и технических системах

Архив номеров / 2021 / Выпуск №11 (228) / Технология сборочного создания экспериментального варианта ядра ОS Linux с обеспечением качества для применения в прикладных и технических системах

Рубрика: Наука и технологии /  Раздел для научных публикаций

Лаврищева Е.М.,
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.

<...>


Полную версию статьи читайте в журнале
Подпишитесь на журнал
Купите в Интернет-магазине

Комментарии отсутствуют

Добавить комментарий

Комментарии могут оставлять только зарегистрированные пользователи

               Copyright © Системный администратор

Яндекс.Метрика
Tel.: (499) 277-12-45
E-mail: sa@samag.ru