Аппаратные и программные средства встраиваемых систем
жүктеу/скачать 3,23 Mb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- 3.2.3 Языки спецификации и программирования
| 3.2.2 Классификация языков
Языки можно классифицировать по следующим критериям: • Место в жизненном цикле проектирования (язык программирования, язык спецификации); • Степень формальности (формальный язык, неформальный язык); • Используемая модель вычислений; • Полнота по Тьюрингу; • Способ реализации (интерпретатор или компилятор); • Способ типизации (динамическая или статическая); • Тип используемой семантики (операционная, денотационная деривационная). 3.2.3 Языки спецификации и программирования Программирование ВВС представляет собой сложный многоуровневый процесс, в котором языковые средства играют ключевую роль. В зависимости от этапа и характера использования языки принято делить на языки специфицирования (этап проектирования) и языки программирования (этап реализации), однако существует мнение, что любой формальный язык, в принципе, можно использовать на любом из этих этапов. В отличие от ВС общего назначения, в ВВС на этапе создания языкового описания некоторого объекта зачастую невозможно сказать, в каком виде этот объект будет реализован - как традиционная программа для программируемого процессора, как конфигурация ПЛИС или как специализированный аппаратный блок. Исходя из такой особенности применения языков при проектировании ВВС, наиболее общим и удобным следует считать взгляд на языки с позиции использования их для специфицирования средств ВВС для различных целей и на разных уровнях представления. Именно такой подход к классификации языков был предложен в, что естественным образом следует из концепции многоязыкового проектирования ВВС. Ниже мы рассмотрим языки, используемые при создании ВВС, именно с этих позиций. Основное внимание будет уделено средствам, используемым для проектирования на системном уровне. Языки используются во время одного из самых важных шагов проектирования системы: на этапе спецификации системы. Существует множество языков спецификации. Каждый из них имеет свои преимущества, но превосходит другие только в пределах ограниченной прикладной области. Отбор языка - вообще компромисс между несколькими критериями, такими как выразительная мощь языка, возможности автоматизации, обеспеченные моделью, лежащей в основе языка, и наличие инструментальных средств и методов, поддерживающих язык. В ряде случаев полезно использовать несколько языков для спецификации различных модулей одного проекта. Многоязычные решения требуются для проектирования гетерогенных систем, 137 где различные части принадлежат разным прикладным категориям, например, управление/данные или непрерывный/дискретный. Все инструментальные средства проектирования системы используют языки в качестве входных данных. Они обычно используют промежуточную форму, чтобы выполнить обработку и преобразование начальной спецификации. В основе языкового представления лежат модели вычисления, суть которых была представлена в предыдущем разделе. Модели вычислений могут быть ориентированы на данные или на управление. В обоих случаях, они могут быть синхронными или асинхронными. жүктеу/скачать 3,23 Mb. Достарыңызбен бөлісу:
|