Неформальное введение программирование микроконтроллеров на языке Ada

Избранное

О курсе

Неформальное введение в современные технологии программирования микроконтроллеров на языке Ada. Курс состоит из шести видео:

  • Программирование МК на языке Ada — часть 1 Быстрый старт
  • Программирование МК на языке Ada — часть 2 Работаем с репозиторием Alire
  • Программирование МК на языке Ada — часть 3 Создаем библиотеку RealTime для STM32H503cbt6
  • Программирование МК на языке Ada — часть 4 Библиотека драйверов Ada — ADL
  • Программирование МК на языке Ada — часть 5 Без Alire библиотека RealTime для STM32H503cbt
  • Программирование МК на языке Ada — Часть 6 Алгоритм рисования линии на экране OLED 0in96

Чему вы научитесь?

  • Ознакомление с доступными средствами разработки программ для микроконтроллеров
  • Возможности языка Ada

План курса

Быстрый старт
• Компилятор GNAT, который реализует стандарт языка Ada. • Возможность создания приложений для микроконтроллеров и «голого железа». • Возможность создания собственной библиотеки времени исполнения для специфического микроконтроллера. • Книга «Программирование микроконтроллеров на языке Ada» содержит готовые решения и инструкции по настройке библиотек. Пример создания библиотеки для микроконтроллера, похожего на «голубую таблетку». • Сайт AdaCore для загрузки ПО. • Выбор между профессиональной версией и GNAT Community. • Установка стандартного пакета, включающего компилятор GNAT, систему верификации и GNAT Studio. • Добавление пакета для ARM-микроконтроллеров и создание ELF-пакетов. • Настройка темы, клавиш и макросов в GNAT Studio. • Создание нового проекта для STM-F4. • Выбор пути для проекта и создание папки. • Обзор файла проекта и подключённых библиотек. • Настройка отладчика и сервера отладки. • Определение регистров и физических адресов. • Компиляция проекта и загрузка в эмулятор или на плату. • Отладка программы и настройка приоритетов для прерываний. • Обзор менеджера пакетов Alire для GNAT. • Возможность использования Alire в GNAT Studio, Visual Studio Code и других IDE. • Установка новых компиляторов через Alire. • Важность правильной настройки путей доступа к бинарным файлам.

Работаем с репозиторием Alire
Рассмотрены темы • Использование утилиты Far как файлового менеджера для программирования. Установка и настройка Far. Настройка панелей и интерфейса, включая цвета и командную строку. • Необходимость использования Git для работы с репозиториями. Загрузка и установка Git на Windows. • Загрузка и установка новой версии GNAT Studio. Удаление старой версии перед установкой новой. Важность настройки путей поиска для GNAT Studio. Использование GNAT Studio. Запуск GNAT Studio и открытие проекта. Обзор функций GNAT Studio: справка, учебник, библиотеки. • Введение в ALIRE. Установка ALIRE Работа с кэшем ALIRE. Интеграция с IDE. Обзор библиотек для программирования микроконтроллеров. Получение крейта • Использование утилиты STM32 ST-Link для загрузки программы. Особенности работы с китайскими клонами. • Обзор книг по Ada. В интернет-магазине доступны книги по языку программирования Ada.

Создаем библиотеку RealTime для STM32H503cbt6
Рассмотрены темы • Общие библиотеки для ядер ARM Cortex-M0, M0+, M1, M3, M4, M4 с плавающей запятой. Готовые библиотеки представляют подмножество языка Ada, соответствующие возможностям процессора. • Использование утилиты из репозитория Alire для автоматизации процесса создания библиотеки. Компиляция библиотеки. Проверка созданных файлов и добавление необходимых дополнений. Создание примера использования библиотеки. Анализ созданных файлов.

Библиотека драйверов Ada — ADL
Рассмотренные темы • Введение в библиотеку драйверов Ada. Демонстрационные драйверы предназначены для различных устройств, включая GPIO, UART, USB, DMA, ADC, DAC, таймеры и гироскопы. Все драйверы и демонстрационные программы написаны на Ada 2012 и используют предварительные и пост-условия для обеспечения понимания работы драйвера. Зависимость от производителя демонстрационных примеров. Исходный код Ada доступен для исследования и изменения. • Открытие нового проекта для работы с serial портом. Проверка подключения порта к компьютеру. Перекомпиляция и запуск программы.

Без Alire библиотека RealTime для STM32H503cbt
Рассмотрены темы • Продолжение третьего видео серии. Рассматривается упрощение структуры проекта. Структура проекта. Настройка внутреннего генератора и регистров порта C. Определение режимов и установка значений в тринадцатом пине порта. Команда для открытия проекта в GNAT Studio. Структура проекта в GNAT Studio • Настройка ключей компилятора. Удаление артефактов ALIRE и настройка версий файлов. Компиляция проекта

Алгоритм рисования линии на экране OLED 0in96
Рассмотрены темы • Взаимодействие с нейросетью без VPN. Подготовка проекта. Внедрение вывода графической информации на OLED-дисплей. Описание платы STM32F407VGT6 и подключённых устройств. Использование ИИ для разработки процедуры рисования линии на экране. Исправление ошибок в коде, предложенном ИИ. Компиляция исправленного кода без ошибок. Реализация алгоритма Брезенхэма. Проверка нового кода на практике. • Важности проверки кода, предложенного ИИ. Преимущества языка Ada: строгая типизация и выявление ошибок при компиляции.

Оценки и отзывы студентов

Пока нет отзыва
Пока нет отзыва
Регистрация автора
Регистрация автора