Конфигурационная сборка варианта ядра Linux для прикладных систем
https://doi.org/10.15514/ISPRAS-2018-30(6)-9
Аннотация
Об авторе
С. В. КозинРоссия
Список литературы
1. Лаврищева Е. М., Коваль Г.И., Слабоспицкая О.O., Колесник A.Л. Особенности процессов управления при создании семейств программных систем. Проблемы программирования, no. 3, 2009 г., стр. 40-49.
2. Лаврищева Е. М., Коваль Г.И., Слабоспицкая О.O., Колесник A.Л. Теоретические аспекты управления вариабельностью в семействах программных систем. Вестник КНУ, серия физ.-мат. наук, no. 1, 2011 г., стр.151-158
3. Лаврищева Е.М. Программная инженерия и технология программирования сложных систем. Учебник. 2-издание. Москва, Юрайт, 2018, 431 стр.
4. Е.М. Лаврищева, В.С. Мутили, А.Г. Рыжов. Аспекты моделирования вариабельных программных и операционных систем. Сб. трудов XIX Всероссийский научной конференции «Научный сервис в сети Интернет», 2017, cтр. 327-341.
5. Лаврищева Е.М. Петренко А.К. Моделирование систем и их семейств. Труды ИСП РАН, 2016 г., том 28, вып. 6, с. 49-65. DOI: 10.15514/ISPRAS-2016-28(6)-4.
6. И.С. Захаров, М.У. Мандрыкин, В.С. Мутилин, Е.М. Новиков, А.К. Петренко, А.В. Хорошилов. Конфигурируемая система статической верификации модулей ядра операционных систем. Труды ИСП РАН, том 26, вып. 2, 2014 г., стр. 5-42. DOI: 10.15514/ISPRAS-2014-26(2)-1.
7. Kozin S.V., Mutilin V.S. Static Verification of Linux Kernel Configurations. Trudy ISP RAN/Proc. ISP RAS, vol. 29, issue 4, 2017, pp. 217-230. DOI: 10.15514/ISPRAS-2017-29(4)-14.
8. Кулямин В.В., Лаврищева Е.М., Мутилин В.С., Петренко А.К. Верификация и анализ вариабельных операционных систем. Труды ИСП РАН, 2016, том 28, вып. 3, стр. 189-208. DOI: 10.15514/ISPRAS-2016-28(3)-12.
Рецензия
Для цитирования:
Козин С.В. Конфигурационная сборка варианта ядра Linux для прикладных систем. Труды Института системного программирования РАН. 2018;30(6):161-170. https://doi.org/10.15514/ISPRAS-2018-30(6)-9
For citation:
Kozin S.V. Linux kernel configuration build for application systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(6):161-170. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(6)-9