Design and architecture of real-time operating system - K. M. Mallachiev; N. V. Pakulin; A. V. Khoroshilov (Труды Института системного программирования РАН, 2018)