Аппаратные и программные



Download 3,23 Mb.
Pdf ko'rish
bet84/179
Sana24.02.2022
Hajmi3,23 Mb.
#234030
TuriУчебное пособие
1   ...   80   81   82   83   84   85   86   87   ...   179
3.2.2 Классификация языков
Языки можно классифицировать по следующим критериям: 
• Место в жизненном цикле проектирования (язык программирования, 
язык спецификации); 
• Степень формальности (формальный язык, неформальный язык); 
• Используемая модель вычислений; 
• Полнота по Тьюрингу; 
• Способ реализации (интерпретатор или компилятор); 
• Способ типизации (динамическая или статическая); 
• Тип 
используемой 
семантики 
(операционная, 
денотационная 
деривационная). 
3.2.3 Языки спецификации и программирования 
Программирование ВВС представляет собой сложный многоуровневый 
процесс, в котором языковые средства играют ключевую роль. В зависимости 
от этапа и характера использования языки принято делить на языки 
специфицирования (этап проектирования) и языки программирования (этап 
реализации), однако существует мнение, что любой формальный язык, в 
принципе, можно использовать на любом из этих этапов. В отличие от ВС 
общего назначения, в ВВС на этапе создания языкового описания некоторого 
объекта зачастую невозможно сказать, в каком виде этот объект будет 
реализован - как традиционная программа для программируемого процессора, 
как конфигурация ПЛИС или как специализированный аппаратный блок. 
Исходя из такой особенности применения языков при проектировании ВВС, 
наиболее общим и удобным следует считать взгляд на языки с позиции 
использования их для специфицирования средств ВВС для различных целей и 
на разных уровнях представления. Именно такой подход к классификации 
языков был предложен в, что естественным образом следует из концепции 
многоязыкового проектирования ВВС. Ниже мы рассмотрим языки, 
используемые при создании ВВС, именно с этих позиций. Основное внимание 
будет уделено средствам, используемым для проектирования на системном 
уровне. 
Языки используются во время одного из самых важных шагов 
проектирования системы: на этапе спецификации системы. Существует 
множество языков спецификации. Каждый из них имеет свои преимущества, но 
превосходит другие только в пределах ограниченной прикладной области. 
Отбор языка - вообще компромисс между несколькими критериями, такими как 
выразительная мощь языка, возможности автоматизации, обеспеченные 
моделью, лежащей в основе языка, и наличие инструментальных средств и 
методов, поддерживающих язык. В ряде случаев полезно использовать 
несколько языков для спецификации различных модулей одного проекта. 
Многоязычные решения требуются для проектирования гетерогенных систем, 


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

Download 3,23 Mb.

Do'stlaringiz bilan baham:
1   ...   80   81   82   83   84   85   86   87   ...   179




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish