Аверест
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Averest — это синхронный язык программирования и набор инструментов для определения, проверки и реализации реактивных систем. Он включает в себя компилятор синхронных программ, средство проверки символьных моделей и инструмент аппаратного/программного синтеза.
Его можно использовать для моделирования и проверки систем с конечным и бесконечным состоянием на различных уровнях абстракции. Он полезен для проектирования аппаратного обеспечения, моделирования протоколов связи, параллельных программ , программного обеспечения во встроенных системах и многого другого.
Компоненты: компилятор для трансляции синхронных программ в системы перехода , средство проверки символьных моделей , инструмент для аппаратного/программного синтеза. Они охватывают большую часть процесса проектирования реактивных систем, от спецификации до реализации. Хотя эти инструменты являются частью общей структуры, они в основном независимы друг от друга и могут использоваться со сторонними инструментами.
См. также
[ редактировать ]Ссылки
[ редактировать ]Внешние ссылки
[ редактировать ]- Averest Toolbox Официальный сайт
- Embedded Systems Group Исследовательская группа, разрабатывающая Averest Toolbox
 | Эта языкам программирования, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |