2. Программное обеспечение встроенных систем ……….

2.1 Модель вычислений ………………………………………………

2.2 Автомат с конечным числом состояний …………………………………

2.3. Асинхронный язык проектирования SDL………………………………

2.4. Синхронный язык проектирования Lustre ………………………………

2.5. Многозадачность……………………………………………………….

2.5.1. Язык программирования Си …………………………………………..

2.5.2. Потоки ………………………………………………………………..

2.5.2.1. Реализация потоков …………………………………………………..

2.5.2.2. Взаимное исключение ………………………………………………..

2.5.2.3. Взаимная блокировка …………………………………………………

2.5.2.4. Модели непротиворечивости памяти ………………………………..

2.5.2.5. Проблемы с потоками …………………………………………………

2.5.3. Процессы и передача сообщений ……………………………………….

2.6. Интегрированная среда разработки прикладного программного обеспечения.

2.6.1. Средства разработки программ для встроенных систем на Си………..

2.6.2. Комплект программ Telelogic Tau SDL Suite ……………………………

2.6.3. Средства разработки программного обеспечения встроенных систем

SCADE …………………………………………………………………………….

2.7. Валидация и оценка проекта ………………………………………………..

2.7.1. Моделирование, эмуляция и макетирование ……………………………

2.7.2. Формальная верификация …………………………………………………

2.7.3. Оценка производительности ………………………………………………

2.7.3.1. Оценка WCET ……………………………………………………………

2.7.3.2. Исчисление реального времени …………………………………………

2.7.4. Модели энергии и мощности ……………………………………………

2.7.5. Тепловая модель ………………………………………………………….

Вопросы для самоконтроля ………………………………………………………….

ЗАКЛЮЧЕНИЕ ………………………………………………………………………..

Задания ………………………………………………………………………………….

Библиографический список ………………………………………………………….

Введение

Объектом изучения дисциплины являются встроенные микропроцессорные системы. Приходится констатировать, что не существует единственного определения встроенных систем. Можно рассмотреть ряд из них для более точного понимания сути встроенных систем (определения взяты из лекций специалистов ряда университетов ведущих в этой области подготовки специалистов).

1. Встроенная система – это система обработки информации, включенная в состав изделий.

2. Встроенная система тождественно равна компьютерной системе, спроектированной для выполнения одной или нескольких специальных функций.

3. Встроенная система – это система, включенная в оборудование и взаимодействующая с ним с целью измерения или управления.

4. Встроенная система – это то, что имеет программное обеспечение специального применения, размещенное в компьютерном оборудовании.

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

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

Встроенные системы от остальных систем отличаются такими характеристиками как:

• Повышенная надежность.

• Повышенная безопасность.

• Критичность к реальному времени.

• Структура стоимости: периодические издержки на разработку аппаратной части (решающее значение для потребительского рынка); разовые затраты на разработку программного обеспечения (возможны ограничения на время вывода нового изделия на рынок).

• Ограничения, которых обычно нет для настольных компьютеров: объем памяти, среда разработки, потребляемая мощность, интерфейс оператора.

• Быстродействие процессора не является гарантией времени отклика.

• Интерфейс с окружающим миром через сенсоры и исполнительные механизмы.

• Смешанное поведение – взаимодействие с непрерывной окружающей средой с помощью логических функций и конечных автоматов.

Результаты исследования (на 2009 год) структуры рынка встроенных систем, приведенные ниже в виде гистограммы, говорят о том, что три четверти встроенных систем это системы реального времени, т.е. системы с ограничением на время решения задачи и больше половины являются распределенными системами.

Системы реального времени

С сетевой структурой

Для экстремальных условий

С батарейным питанием

С беспроводной связью

Выделяют 4 типа встроенных систем, определяемые областью их применения (или спецификой решаемых задач):

• Управление: автоматизация технологических процессов, аэрокосмическая техника, автомобильная техника, бытовая техника.

• Системы связи: мобильные телефоны, сетевое оборудование и оборудование систем передачи.

• Обработка аудио и видеосигналов.

• Карманные компьютеры и портативные игры.

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

• Реализация классических законов управления, нечёткого управления (Fuzzy logic) и других.

• Реализация последовательностной логики: конечные автоматы, модули переключения между различными законами управления.

• Обработка сигналов: сжатие данных мультимедиа, цифровая фильтрация, гармонический анализ.

• Специализированное сопряжение с кнопками, звуковыми и световыми индикаторами, высокоскоростным вводом-выводом.

• Диагностика: обнаружение неисправностей и реконфигурация.

Характеристики встроенных систем, выполняемые ими функции, сделали их применене тотальным, охватывающим практически все области человеческой деятельности.

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

Система управления поршневыми и газотурбинными авиационными двигателями или FADEC (Full Authority Digital Engine Control) – это, по сути, небольшой компьютер, выполняющий мониторинг и управление различными функциями: запуск двигателя, сохранение во время полета безопасности и эффективности работы двигателя, остановка двигателя. Для газотурбинного двигателя на FADEC лежит главная ответственность за контроль и регулирование топливного насоса обеспечивающего безопасную и контролируемую мощность турбины. Во время запуска и останова двигателя FADEC управляет соответствующими последовательностями действий.

В случае поршневых двигателей смесь топлива с воздухом в камере сгорания должна быть воспламенена в правильный момент времени для обеспечения эффективного горения и генерации мощности. Эту работу ранее выполняло магнето, в современных двигателях это лежит на микропроцессорной системе зажигания FADEC. Система зажигания измеряет данные, поступающие от датчиков MAP (измеритель давления в воздухопроводе), CHT (измеритель температуры головки цилиндра), EGT (измеритель температура выходящих газов), RPM (датчик скорости вращения), атмосферного давления и давления топлива. FADEC управляет инжекцией топлива и временем зажигания для оптимизации мощности, выдаваемой двигателем. Регулирование времени зажигания искры зависит от оборотов, положения ручки газа и приводит к сглаживанию работы двигателя при переменной нагрузке или выполнению быстрого запуска.

Рассмотренные области применения и функции, реализуемые встроенными системами, свидетельствуют об их актуальности как узлов управления изделиями

(«мозги» изделий), уровень совершенства которых непосредственно влияет на важнейшие характеристики изделий. В частности для авиационного двигателя на встроенной системе (электронном регуляторе двигателя) лежит главная ответственность за безопасную и контролируемую мощность, экономичность и определение технического состояния.

Проектирование встроенных систем является сложной задачей, которая разбивается на ряд подзадач приемлемой сложности. Эти подзадачи решаются последовательно друг за другом, но часто решения некоторых из них выполняются итеративно. Проектирование начинается с идей. Идеи должны включать знания прикладной области, а затем должны быть трансформированы в спецификацию. Также необходимы сведения о стандартных компонентах аппаратного и системного программного обеспечения. Эти компоненты по возможности многократно используются в проекте. Вся информация сохраняется в репозитории проекта (рис.1 [1]). С использованием репозитория проектные решения могут приниматься в итерационной манере. Во время проектных итераций прикладные задачи отображаются на исполнительную платформу, и генерируется новая проектная информация. Генерация включает в себя отображение операций на одновременные задачи, отображение операций или на аппаратуру или на программное обеспечение, компиляцию и планирование задач. В общем случае отображение выполняется на мультипроцессорную систему, принадлежащую к одному из двух классов.

Однородные (гомогенные) мультипроцессорные системы: все процессоры системы обеспечивают одинаковую функциональность. Это вариант многоядерной архитектуры персональных компьютеров. Совместимость программ различных процессоров – ключевое преимущество, которое используется планировщиком задач во время работы программ, а также при проектировании с целью достижения отказоустойчивости. Также упрощается разработка платформы и инструментов проектирования из-за однотипности процессоров.

Рис. 1. Упрощенная последовательность проектирования

Неоднородные (гетерогенные) мультипроцессорные системы: процессоры принадлежат к различным типам, что обеспечивает большую эффективность системы. Гистограмма, приведенная ниже, представляет долю различных процессорных компонент в реализации встроенных систем как мультипроцессорных систем.

Несколько разных чипов

Несколько одинаковых чипов

Один чип с одинаковыми ядрами

Один чип с разными ядрами

Задача отображения формулируется следующим образом.

Дано:

1. Множество прикладных задач.

2. Примеры, описывающие, как эти задачи будут использоваться.

3. Множество архитектур-кандидатов:

– процессоры (возможно неоднородные);

– архитектуры коммуникаций (возможно неоднородные);

– возможные политики планирования выполнения задач.

4. Технические требования:

– сохранение времени выполнения задачи и/или максимизировать производительность.

– минимизация цены, энергопотребления, …

Найти:

1. Отображение задач на процессоры.

2. Варианты планирования выполнения задач.

3. Архитектуру.

Проектные решения должны быть оценены(evaluation) по отношению к различным техническим требованиям, таким как производительность, энергосбережение, технологичность и т.д. Оценка проекта это процесс вычисления ключевых количественных характеристик системы.

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

Из-за важности такого качества встроенных систем как эффективность, значимой становится оптимизация проекта.

Генерация тестов и оценка конролепригодности может выполняться во время проектных итераций или в конце процесса проектирования.

На следующей гистограмме приведены затраты времени на выполнение различных этапов проектирования.

Разработка спецификации

Концептуальное проектирование

Детальное проектирование

Моделирование

Тестирование/Отладка

Макетирование

Отправка на производства

Документирование

Для снятия ограничений с доступных современных технологий проектирования встроенных систем необходимо совершенствование:

– языков спецификации и моделирования;

– инструментов генерации реализации систем из их спецификации;

– средства временной верификации;

– системное программное обеспечение;

– операционные системы реального времени.

Необходимо так же четко осознавать проблемы проектирования встроенных систем, связанные с их особенностями:

– аппаратная сложность;

– разнородная система, состоящая из аппаратной и программной частей;

– разнородные компоненты (центральные процессорные узлы, процессоры цифровой обработки сигналов, специализированные интегральные схемы, шины и т.д.);

– разнородные требования: производительность, стоимость, потребление энергии и т.д.

– реализация в виде системы на кристалле;

– укорочение цикла проектирования из-за ограничения на время вывода нового изделия на рынок.

Дисциплина «Встроенные микропроцессорные системы» относится к вариативной части цикла профессиональных дисциплин профиля подготовки магистра 16070051.68 «Информационные технологии в разработке двигателей летательных аппаратов». Ее трудоемкость составляет 180 часов, из них лекции 18 часов, лабораторный практикум 24 часа и самостоятельная работа 136 часов.

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

Учебное пособие призвано обеспечить формированию следующих частей профессиональных специальных компетенций относящихся к этой области деятельности магистров:

– Способность проводить анализ и выбор проектных решений систем управления двигателей летательных аппаратов (ПСК3).

– Готовность применять современные аппаратные средства и программное обеспечение для проектирования систем управления двигателями летательных (ПСК2).

Учебное пособие разбито на три модуля. Первые два модуля посвящены аппаратным средствам встроенных систем, а третий – программному обеспечению встроенных систем. Модули содержат примеры. После каждого модуля приведены вопросы для самоконтроля. Завершает учебное пособие набор заданий для поддержки формирования элементов компетенций «умеет».

Задача первого модуля учебного пособия состоит в формировании таких компонент компетенции ПСК3 как:

– Знать организацию современных аппаратных средств и элементы архитектуры процессоров встроенных систем, базовые устройства ввода-вывода и базовые последовательные интерфейсы ввода-вывода встроенных систем.

– Уметь использовать знания организации и архитектуры встроенной систем для проектирования ее функциональной схемы;

Задача второго модуля учебного пособия состоит в формировании таких компонент компетенции ПСК3 как:

– Знать методы проектирования элементов ввода-вывода встроенных систем на программируемой логике;

– Уметь использовать модель программно-управляемого автомата и язык VHDL для проектирования программ-спецификаций элементов ввода-вывода встроенных систем.

Задача третьего модуля учебного пособия состоит в формировании компонент компетенции ПСК2:

– Знает модели вычислений встроенной системы и многопоточный механизм организации одновременного выполнения кода программы.

– Умеет использовать подход к разработке прикладного программного обеспечения основанный на модели для построения и реализации модели вычислений встроенной системы.