Publication:
Development of fast and memory-safe operating system kernel

Дата
2019
Авторы
Komarov, T.
Ivanov, M.
Chepik, N.
Starikovskiy, A.
Journal Title
Journal ISSN
Volume Title
Издатель
Научные группы
Организационные подразделения
OrgUnit Logo
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Выпуск журнала
Аннотация
© 2019 IEEE Microkernels are considered to be more secure by design than monolithic OS kernels. Furthermore, small size of a microkernel codebase allows developers to maximize its performance, to make its architecture perfect or even to apply formal verification methods. The latter makes it possible to guarantee various important characteristics of an OS kernel, but it's very expensive in terms of time and effort needed. There are projects presenting another approaches, which allow to guarantee (with some assumptions) memory-safety of a kernel. Usually, these methods are based on using programming languages, which provide this property by design. The problem is that it's hard to find such a language, that ensures memory-safety and at the same time is suitable for OS kernel development. In this paper we present a possible approach to development of a microkernel, which is not expensive in terms of time spent and ensures both memory safety and high performance.
Описание
Ключевые слова
Цитирование
Development of fast and memory-safe operating system kernel / Komarov, T. [et al.] // Proceedings of the 2019 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering, ElConRus 2019. - 2019. - P. 1852-1856. - 10.1109/EIConRus.2019.8656887
URI
https://www.doi.org/10.1109/EIConRus.2019.8656887
 https://www.scopus.com/record/display.uri?eid=2-s2.0-85063488363&origin=resultslist
 http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Alerting&SrcApp=Alerting&DestApp=WOS_CPL&DestLinkType=FullRecord&UT=WOS:000469452600431
 https://openrepository.mephi.ru/handle/123456789/16736
Коллекции
Публикации