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

• Автор: Филиппов, Вадим Алексеевич
• Шифр специальности: 05.13.05
• Научная степень: Кандидатская
• Год защиты: 2001
• Место защиты: Санкт-Петербург
• Количество страниц: 220 с.

ГЛАВА 1. СОВРЕМЕННЫЕ ПОДХОДЫ ПРОЕКТИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ. ЗМ1 КАК СИМБИОЗ СОВРЕМЕННОГО ПРОЕКТИРОВАНИЯ. ГЛАВА 2. РАСШИРЕНИЕ ФОРМАЛИЗМА иМЬ ПРИ СПЕЦИФИКАЦИИ СИСТЕМ. Построение глобального графа переходов по множеству Диаграмм Последовательности. Формализм Расширенных Диаграмм Последовательности. ГЛАВА 3. ГЛАВА 4. ГЛАВА 5. Стандартизованные расширения 1МЬ МЬТ. В данном разделе проводится анализ языка иМШТ расширения 1МЬ по работе с встроенными системами реального времени. Формализм диаграмм Последовательности ЦМЬ. Данный раздел описывает аспекты нотации диаграмм Последовательности МЬ. Программные продукты проектирования на иМЬ. Данный раздел содержит сравнительный анализ популярных программных продуктов по работе с МЬ. Исследования, проводимые в данном разделе, являются необходимой базой для аппарата трансляции, разбиения и генерации целевого исполняемого кода программноаппаратных систем реального времени, рассматриваемого в следующем разделе. Унифицированный язык моделирования ii i представляет собой графический язык, предназначенный для визуализации, спецификации, конструирования и документирования программных систем.


Унифицированный язык моделирования ii i представляет собой графический язык, предназначенный для визуализации, спецификации, конструирования и документирования программных систем. Для достижения этой цели предлагает стандартный механизм описания различных аспектов системы, включая как концептуальные части бизнеспроцессы, основные функции системы, так и конкретные блоки, включающие конструкции языков программирования, схемы баз данных, переиспользуемые программные компоненты. При проектировании языка основной акцент делался на понятие унифицированный, поскольку исторически не существовало общего стандарта для моделирования программных компонент пользователи могли выбирать из целого множества языков моделирования, иногда похожих друг на друга, отличающихся в трактовке различных их компонент. Это привело к неустроенности рынка моделирования, к том, что системы моделирования не так часто использовались в программных проектах, как могли бы . Язык появился как результат работы ряда крупных компаний, работающих с объектноориентированными технологиями и испытывающих необходимость в унификации и стандартизации подхода к моделированию программных систем. По предназначению, не предоставляет средств обеспечения гарантии успеха проекта , с точки зрения создания системы, однако, упрощает различные аспекты проектирования. Например, использование способствует уменьшению общих затрат на обучение и смену средств проектирования, дает возможность интеграции многих различных средств проектирования и т.