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

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

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

  • Разработка системного программного обеспечения для вычислительных комплексов с архитектурой «Эльбрус». Разработка специализированных программных комплексов, требующих защищенного режима исполнения;
  • Адаптация различного программного обеспечения для работы на компьютерах, оборудованных микропроцессорами «Эльбрус», поддержка всех основных возможностей и библиотек 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-программ, позволяющий сформировать карту покрытия исходного кода тестовыми сценариями и предупреждающий об участках, которые могут оказаться небезопасными, т.е. которым необходимо уделить особое внимание. Дополнительно реализован режим мониторинга серверных приложений, позволяющий в реальном времени отслеживать работу приложения.

Заказчики