Разработка, реализация и сопровождение системного программного обеспечения для многомашинного вычислительного комплекса АС-6 для Центра управления полетами: - тесты локальной сети и основной памяти центрального процессора; - сетевые протоколы; - операционная система периферийной машины. Разработка и реализация системного программного обеспечения для суперкомпьютера Электроника ССБИС (совместимого с CRAY-1): - сетевые протоколы (транспортный и функциональный уровни); - системные компоненты для периферийного компьютера. Разработка и реализация мобильной объектно-ориентированной операционной системы КЛАСТОС: - микроядро; - кластерный язык программирования, основанный на языке Си (Сиклос); - файловая система; - реляционная СУБД; - среда и язык разработки и копоновки кластерных подсистем (Проклос); - двоичный эмулятор UNIX. Разработка и реализация методологии и набора инструментов для автоматизированного анализа программного обеспечения и генерации тестов на базе формальных спецификаций: - генерация первичных спецификаций из исходного кода; - повышение уровня абстракции спецификаций; - генерация тестовых оракулов; - генерация программы оценки тестового покрытия; - генерация генераторов тестовых последовательностей; - ориентированный на методологию репозиторий и система управления версиями; - рабочее место разработчика спецификаций и тестов; - архитектура тестовой системы и поддержка времени выполнения. По результатам последней работы оформлены 5 патентов США и Канады.3.11.2. Design, implementation and maintenance of system software for multicomputer system AS-6 for Space Control Centre: - local area network and main memory of Central Processor hardware tests; - LAN protocols; - front-end computer operating system. Design and implementation of system software for Cray-1 comtatible super-computer Electronica SSBIS: - LAN protocols (transport and functional levels); - system components for front-end computer. Design and implementation of portable object-oriented operating system CLUSTOS: - microkernel; - C based cluster programming language (Cclos); - LAN software; - file system; - relational DBMS; - CASE for cluster subsystem design and assembling (Proclos); - binary UNIX emulator. Design and implementation of methodology and tool set for automated reverse engineering and test generation based on formal specifications: - prime specification generation from source code; - increasing of specification abstraction level; - test oracle generation; - test coverage estimator generation; - test suites generator generation; - methodology oriented repository and version control system; - CASE for specification and test creation; - test system architecture and run-time support. 5 USA and Canada patents based on the results of last work are filed. Ключевые слова Операционные системы, распределенные операционные системы, локальные сети, объектно-ориентированное программирование, объектно-ориентированные операционные системы, формальные методы спецификации, верификации и тестирования программ.