Close
Разместить заказ

Разработка технологии создания распределенных программ управления микроконтроллерными встраиваемыми системами

Разработка технологии создания распределенных программ управления микроконтроллерными встраиваемыми системами

Краткая информация
  • Данный проект предполагает создание новой технологии и инструментальной среды, позволяющей разработчику на высокоуровневом языке описать распределенную по микроконтроллерам программу и автоматически получить эффективную реализацию всех необходимых протоколов.
  • Возможность описания на высоком уровне программ для распределенных и гетерогенных систем является одним из ключевых параметров разрабатываемой инструментальной системы, однако наряду с этим, она объединяет такие новые подходы, как интегрированная система информационной поддержки пользователей, графические языки программирования с возможностью верификации, компоненты unit-тестирования и профилировки микроконтроллерных программ.

Заказчик

Заказчик:  Инициативный проект, поддержанный Федеральным государственным бюджетным учреждением «Фонд содействия развитию малых форм предприятий в научно-технической сфере» 

Решение

В рамках данного проекта были выполнены следующие виды работ:

1. Разработана новая концепция представления распределенных программ для встраиваемых систем.

2. Разработан новый текстовый высокоуровневый язык программирования и его транслятор на язык Си.

3. Спроектирована архитектура интегрированной среды разработки в рамках платформы Eclipse.

4. Разработаны прототипы редакторов: редактора схемы оборудования, редактора блок-схем, текстового редактора.

5. Спроектирован генератор кода с высокоуровневого языка на язык С.

6. Спроектирована подсистема функционального моделирования программ.

Результаты

Результатом работ явилось:

Прототип интегрированной среды разработки на базе платформы Eclipse с возможностью создания распределенных программ для встраиваемых систем на базе микроконтроллеров.

Сайт проекта – www.mcublocks.com

В ходе реализации проекта были поданы патентные заявки на узлы (решения), сертифицированы процессы (изделия):

1. Патент на полезную модель №115526 «Устройство формальной проверки согласованности управляющей программы микроконтроллерной системы заданной спецификации»

2. Свидетельство о государственной регистрации программы для ЭВМ № 2013616323 «Интегрированная среда разработки программ для микроконтроллеров AVR»

3. Свидетельство о государственной регистрации программы для ЭВМ № 2013613819 «Интегрированная среда разработки управляющих программ для робототехнических стендов РГАТУ»

4. Заявка №2013149665 на патент на изобретение «Способ предоставления информационной поддержки разработчика программного обеспечения для микроконтроллеров и реализующая его система»

Реализация данного проекта:

В ходе первого этапа (2013-2014 г) был разработан прототип IDE, в настоящее время разрабатываются формальные модели генерации реализаций протоколов и происходит поиск потенциальных заказчиковпозиционирование продукта.