Разработка общесистемного и специального ПО

Разработка общесистемного и специального ПО

• Разработка системного программного обеспечения для вычислительных комплексов с архитектурой «Эльбрус». Разработка специализированных программных комплексов, требующих защищенного режима исполнения;
• Адаптация различного программного обеспечения для работы на компьютерах, оборудованных микропроцессорами «Эльбрус», поддержка всех основных возможностей и библиотек Java-платформы.
• Разработка низкоуровневых оптимизаций для вычислительных алгоритмов и самих алгоритмов.
• Разработка мультиплатформенных графических приложений: Java, C++/QT4, OpenGL. Интеграция в Linux дистрибутивы, инсталляторы для Windows;
• Мониторинг корректности выполнения приложений. Разработка мультиплатформенных crash handlers, слежение за доступностью ресурсов на серверах, системы оповещения, балансировки загрузки, зеркалирования данных;
• Разработка различных вычислительных пакетов по моделированию физических процессов;
• Системы отладки программ, написанных на языке высокого уровня (C++) для микропроцессоров различных архитектур, в т.ч. семейства NeuroMatrix, а также создание инструментальных средств отладки программного обеспечения. Основное назначение – отладка программ на реальных аппаратных средствах;
• Разработка системного и специального программного обеспечения для высокопроизводительных процессоров типа «система на кристалле» и др.

• Реализация виртуальной машины Джава для платформы «Эльбрус». Заказчик АО «МЦСТ». Реализована российская Джава-машина под архитектуру российских процессоров ""Эльбрус"".
• Реализация языка JavaScript для платформы «Эльбрус». Заказчик АО «МЦСТ». Портирование сред исполнения для языка JavaScript с открытым исходным кодом на платформу ""Эльбрус"" - V8 и SpiderMonkey. SpiderMonkey уже работает в портированном под «Эльбрус» браузере FireFox. V8 уже работает в портированной под «Эльбрус» платформе Node.js.
• Портирование виртуальной машины C# на платформу «Эльбрус». Заказчик АО «МЦСТ». Реализация поддержки языка C# на платформе ""Эльбрус"". За основу взят проект Mono, реализующий совместимый с .NET Framework набор инструментов (компилятор с языка C#, виртуальная машина Common Language Runtime, и др.).
• Реализация математических библиотек для платформы «Эльбрус». Заказчик АО «МЦСТ». Разработка новых функций для высокопроизводительной математической библиотеки, портирование и оптимизация существующих широко используемых библиотек c открытым кодом для эффективной работы на аппаратной платформе «Эльбрус»:
  • Библиотека математических функций EML для платформы «Эльбрус»
  • Библиотека OpenCV - перенос на платформу «Эльбрус» и оптимизация пакета компьютерного зрения
  • Библиотека LibreSSL – оптимизация для платформы «Эльбрус» библиотеки шифрования
  • Библиотека JavaCV –- перенос на платформу «Эльбрус» библиотеки java-интерфейсов для OpenCV.
  • Разработка библиотеки функций цифровой обработки сигналов для специализированного сопроцессора DSP для платформы «Эльбрус»
• Разработка решателя. Заказчик АО «МЦСТ». Разработан программный решатель уравнений для систем параболических дифференциальных уравнений второго порядка для метода конечных объёмов (без графического интерфейса). После тестирования интегрирован с программными инструментами заказчика.
• БАЗИС-А - Пакет программ для моделирования процессов в электролизере. Заказчик АО «МЦСТ». Проведен цикл рабочих расчетов по моделированию электротеплового баланса электролизера с самообжигающимся анодом серии С-8БМ. Проведено моделирование магнитных полей с учетом и без учета влияния ошиновки и ферромагнитных свойств корпуса электролизера.
• Тестирование компиляторов, виртуальных машин и системных библиотек. Заказчик АО «МЦСТ».
  • Сертификационное тестирование – проверка на соответствие формальным спецификациям платформы или языка программирования, таким как Java, C, C++, Fortran, JavaScript, ECMAScript, Dart, XML, HTML и т.д.
  • Функциональное тестирование – проверка корректности и полноты реализации, включая всевозможные граничные случаи, ошибочные входные данные и т.п.
  • Тестирование совместимости – сравнение поведения с альтернативными реализациями/версиями в реальных сценариях.
  • Тестирование и анализ производительности
• Тестирование микропроцессоров (ЦПУ, ЦСП). Заказчик АО «МЦСТ». Скрупулёзная и узкоспециализированная работа для разработчиков чипов:
  • На соответствие спецификациям системы команд
  • Функциональное тестирование – проверка корректности и полноты реализации, включая всевозможные граничные случаи, ошибочные входные данные и тп
  • Тестирование совместимости
  • Тестирование производительности
• Сертификационное тестирование нового набора стандартов веб-разработки. Заказчик АО «МЦСТ». Проведено тестирование различных компонентов технологии Web components. Разработан набор сертификационных тестов, проверяющий соответствие спецификации для Shadow DOM, HTML Template, HTML Custom Elements
• Сертификационное тестирование языка программирования Dart. Заказчик АО «МЦСТ». Проведено тестирование реализации языка программирования на соответствие официальной спецификации. Сделано тестовое покрытие спецификации и API. Найдены многочисленные ошибки реализации и скорректирована спецификация.
• Анализатор безопасности Java программ. Заказчик АО «МЦСТ». Реализована пилотная версия анализатора безопасности java-программ, позволяющий сформировать карту покрытия исходного кода тестовыми сценариями и предупреждающий об участках, которые могут оказаться небезопасными, т.е. которым необходимо уделить особое внимание. Дополнительно реализован режим мониторинга серверных приложений, позволяющий в реальном времени отслеживать работу приложения.