Высокоуровневое проектирование встраиваемых систем. Платунов А.Е - 28 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Составители: 

Рубрика: 

1.2.3 Инструментальный комплекс моделирования вычислительных
процессов Ptolemy II
Ptolemy II представляет собой комплекс программ, библиотек Java-классов
и механизмов [69]. Комплекс предназначен для построения и исследования
моделей различного рода систем, в основном для встраиваемых систем, а также
для академических исследований в области моделирования.
На основе идей и подходов, реализованных в Ptolemy II, активно
развиваются средства моделирования как во многих исследовательских HLD
САПР, так и в продуктах индустриального назначения [44].
Кратко возможности и особенности системы Ptolemy II представлены
ниже.
Ptolemy II создан и постоянно развивается группой исследователей Ptolemy
Project из университета Калифорнии в Беркли, возглавляемой с профессором
Edward A. Lee [69, 40]. Комплекс разрабатывается как open-source ресурс и
распространяется свободно. Ptolemy II является третьим по счету
инструментом, который разрабатывается группой Ptolemy Project, после Gabriel
(1986-1991) и Ptolemy Classic (1990-1997). Большое количество идей для
Ptolemy II было взято из Ptolemy Classic, который представлял собой средство
моделирования и проектирования систем обработки данных и управляющих
систем. Ptolemy Classic позволял создавать в графической среде гетерогенные
модели систем с использованием разных моделей вычислений, исполнять эти
модели на симуляторах различных аппаратных и программных платформ, а
также генерировать из моделей код на ассемблере (для DSP), C и VHDL.
Ptolemy II начал разрабатываться в 1996 году и был призван сместить
акцент на моделирование с использованием технологий, предоставляемых
платформой Java™. В новой среде были введены понятия доменного
полиморфизма, «режимных» (modal) моделей, а также типового полиморфизма.
Был также разработан механизм разрешения типов данных в модели,
множество моделей вычислений, технология распределенного моделирования, а
также мощный язык выражений, который может быть использован, в том числе,
и в исполняющейся модели.
Ptolemy II обеспечивает моделирование вычислительных систем различной
природы. На основе комплекса созданы специализированные подсистемы для
моделирования:
• беспроводных сетей и распределенных систем, объединенных радио-,
оптическими или акустическими каналами связи (пакет VisualSense);
• гибридных систем, объединяющих в себе дискретную логику управления и
модели с непрерывным временем. Пакет HyVisual включает в себя модели
вычислений FSM (finite state machines) и CT (continuous-time), библиотеку
акторов, поддерживающих эти модели вычислений и средства визуализации
моделей.
27

Страницы