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

Простая страница элемента
dc.contributor.authorKomarov, T.
dc.contributor.authorIvanov, M.
dc.contributor.authorChepik, N.
dc.contributor.authorStarikovskiy, A.
dc.contributor.authorКомаров, Тимофей Ильич
dc.contributor.authorИванов, Михаил Александрович
dc.contributor.authorЧепик, Надежда Анатольевна
dc.date.accessioned2024-11-20T10:32:14Z
dc.date.available2024-11-20T10:32:14Z
dc.date.issued2019
dc.description.abstract© 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.
dc.format.extentС. 1852-1856
dc.identifier.citationDevelopment 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
dc.identifier.doi10.1109/EIConRus.2019.8656887
dc.identifier.urihttps://www.doi.org/10.1109/EIConRus.2019.8656887
dc.identifier.urihttps://www.scopus.com/record/display.uri?eid=2-s2.0-85063488363&origin=resultslist
dc.identifier.urihttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Alerting&SrcApp=Alerting&DestApp=WOS_CPL&DestLinkType=FullRecord&UT=WOS:000469452600431
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/16736
dc.relation.ispartofProceedings of the 2019 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering, ElConRus 2019
dc.titleDevelopment of fast and memory-safe operating system kernel
dc.typeConference Paper
dspace.entity.typePublication
relation.isAuthorOfPublication2057ae49-b05e-41cf-bf40-532184e99768
relation.isAuthorOfPublication3869209c-c34d-4ed7-bc42-d9c796790d92
relation.isAuthorOfPublication16faa50e-d5be-4d48-bb3a-7a7c756ed1cc
relation.isAuthorOfPublication.latestForDiscovery2057ae49-b05e-41cf-bf40-532184e99768
relation.isOrgUnitOfPublication010157d0-1f75-46b2-ab5b-712e3424b4f5
relation.isOrgUnitOfPublication.latestForDiscovery010157d0-1f75-46b2-ab5b-712e3424b4f5
Файлы
Коллекции
Публикации