Рассмотрены теоретические основы структурной и функциональной организации операционных систем (ОС). Дана методология их системного проектирования. Предложены методы и алгоритмы синтеза оптимальных ОС, позволяющие формализовать и автоматизировать процессы обоснования требований, разработки технических заданий, разработки архитектуры и сопровождения ОС специализированных информационно-вычислительных комплексов и сократить сроки их создания и ввода в эксплуатацию.Для инженерно-технических работников НИИ, проектных институтов, проектно-конструкторских бюро и НПО, занимающихся вопросами теории построения и проектирования ОС, оценки эффективности их функционирования и их оптимизации.