Встраиваемые системы

Приглашаем на митап по беспилотным алгоритмам и автономным системам.

Перевод статьи Five Ways to Document Your Simulink Model.

Автор: Emmanouil Tzorakoleftherakis, MathWorks

Всем привет! В этой статье я хочу поговорить о достаточно мало рассматриваемой теме анализа кода систем повышенной надежности. В интернете уже написано очень много статей о том, что такое хороший статический анализ, но в этой статье я бы хотел рассказать о том, что такое формальная верификация кода, а также объяснить опасность бездумного применения статических анализаторов и стандартов кодирования.

Мы заметили, что вы часто ищете примеры MATLAB, потому что хотите познакомиться с особенностями языка или найти готовое решения своей проблемы.

Чтобы помочь вам быстрее находить красивые и понятные примеры, мы подготовили специальное хранилище примеров кода MATLAB, доступное всем желающим. Доступно оно по ссылке:

Примеры MATLAB (MATLAB-Examples)

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

Курс уникален тем, что объединяет инженерные дисциплины в одну практически ориентированную тему. К концу курса участники смогут сразу применять свои знания на практике.

Язык курса – английский.

В публикации представлено краткое описание доклада Булата Хусаинова, инженера по внедрению, The MathWorks, Inc, а также видео-презентация работы.

В докладе описывается использование преподавателями британских университетов средств моделирования для преподавания различных дисциплин, как инженерных, так и научных.

В целях успешного прохождения учебной программы и повышения профессионального уровня знаний в области практического применения программных продуктов и алгоритмов, решили поделиться в сообществе шпаргалкой по базовым функциям MATLAB для удобства подготовки учащихся.

В шпаргалке:

• Операции над матрицами и векторами
• Определение и изменение переменных 
• Базовая арифметика и функции
• Создание матриц и векторов
• Доступ к элементам матриц и векторов
• Создание матриц и векторов
• Функции
• Указатели функций
• Логические операции
• Условные выражения
• Построение графиков
• Циклы for/while

(в конце публикации шпаргалка доступна во вложении, можно скачать и распечатать)

Сегодня рассмотрим полезный инструмент для разработки и изучения под названием File Exchange - сервис, который позволяет пользователям делиться своими моделями и использовать модели других пользователей MATLAB/Simulink в своей работе, ну конечно же при этом не пренебрегая авторским правом собственников моделей/материалов.

Здравствуйте!

Мы продолжаем работу над нашим проектом RACECAR/J, и сегодня у нас - работа с ROS нодом Autonomous. Данный нод содержит в себе множество моделей и алгоритмов, которые способны общаться между собой и делает нашу машинку более автономной.
Если Вы не читали наши предыдущие статьи о проекте, вы можете легко наверстать упущенное: Проект RACECAR - работаем c независимыми нодами MCL и Path Following + Obstacle Avoidance

Обсудить все детали и тонкости проекта, узнать с какими проблемами, подводными камнями и, при помощи каких лайфхаков, столкнулись наши инженеры и как научились их обходить вы сможете посетив наш митап по разработке беспилотного транспорта, который пройдет 27 октября в Москве. Регистрация обязательна.

Аппроксимация петли гистерезиса с помощью простой параметрической модели в системе Маткад

В первых двух частях (первая часть, вторая часть) серии статей мы рассматривали построение архитектуры системы и проектирование на системном уровне и заодно посмотрели на System Composer. Сама по себе архитектура системы - это отлично, но надо сделать так чтобы она была связана с разработанной системой. Отсутствие такой связи в традиционных инструментах использующих SysML или UML, кстати, и послужила причиной создания System Composer. Дело в том, что многие компании уже используют для разработки парадигму Модельно-ориентированного проектирования (МОП), и им приходилось использовать сторонние инструменты для системной инженерии, что было неудобно. System Composer был создан чтобы устранить этот разрыв. В этой, заключительной, части я покажу как использовать System Composer совместно с тулчейном MathWorks для Модельно-ориентированного проектирования.

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