Microsoft Word впвс book 2011 sev pa doc

Provider
Tools
Focus
Abstraction
Category
Mentor 
Graphics
SystemVision Mixed-signal and 
high-level 
simulation
VHDL-
AMS, Spice, 
C
F: Industrial
National 
Instruments
LabView
Test, measurement, 
and control 
application 
development
LabView 
Programming 
language
F: Industrial
Univ. of 
California 
Berkeley
Ptolemy II
Modeling, 
simulation, and 
design of
concurrent, real-
time,
embedded systems
All MoCs
F: Academic
Univ. of 
Kansas
Rosetta
Compose 
heterogeneous 
specifications in a 
single declarative 
semantic 
environment
All MoCs
F: Languages 
Mentor 
Graphics
Nucleus
Family of real-time 
operating systems 
and development 
tools
Software
P: Industrial 
Open 
SystemC 
Initiative
SystemC
Provide hardware-
oriented constructs 
within the context of 
C++
Transaction 
level to RTL
FP: 
Languages 
Object 
Management 
Group
Unified 
Modeling 
Language
Specify, visualize 
and document 
software system 
models
Object-
oriented 
diagrams
FP: 
Languages 
Cadence
Incisive
Integrated tool 
platform for 
verification, 
including 
simulation, formal 
methods, and 
emulation
RTL and 
SystemC 
assertions
PM: 
Industrial 

---

32 
Synopsys
System 
Studio
Algorithm and 
architecture capture, 
performance 
evaluation
SystemC
FPM: 
Industrial 
Univ. of 
California, 
Berkeley
Metropolis
Operational and 
denotational
functionality and 
architecture capture, 
mapping, 
refinement, and 
verification
All MoCs
FPM: 
Academic 
Univ. of 
California, 
Berkeley
Mescal
Programming of 
application-specific
programmable 
platforms
Extended 
Ptolemy II, 
network 
processors
FPM: 
Academic 
Ниже зафиксированы общие проблемы доступных методологий, 
инструментов и сред проектирования (frameworks), побуждающие к развитию 
исследовательских работ в области системного проектирования для ВсС: 
• Отдельные (особенно нефункциональные) аспекты проектирования 
рассматриваются 
изолировано, 
в 
рамках 
специализированных 
общесистемных моделей: энергопотребления, надежности, информационной 
защиты и т.п. Следует разработать такую структуру и форму описания 
архитектурных компонентов, которая будет в явном виде предлагать 
аспектные оценки (веса), что отражено в понятии архитектурного агрегата, 
которое поясняется далее в пособии. 
• Сохраняется явный приоритет функционального аспекта на архитектурном 
уровне. Нефункциональные аспекты либо играют роль вспомогательных 
критериев проекта, либо многие из них не учтены вообще. Но в общем 
случае для ВсС функциональность не всегда оказывается наиболее 
приоритетным требованием. Данные вопросы должны быть учтены при 
разработке инструмента архитектурного описания системы. 
• Множество вариантов реализации микроархитектур ограничивается 
рамками HW/SW фазы runtime. Поиск проектных решений при
варьировании соотношения Design/Run Time, рассмотрении различных 
уровней виртуализации архитектуры, интеграции инструментальной 
составляющей в большинстве случаев в рамках системного проектирования 
не проводится. 
Картина исследований в настоящее время носит во многом фрагментарный 
характер, и различные группы исследователей пытаются решать частные задачи 
и предлагать собственные подходы к решению описанной проблемы. Подходы 

---

33 
обладают 
разной 
степенью 
проработанности, 
формализации 
и 
распространенности. 
Далее кратко охарактеризованы основные крупные тенденции и важные 
направления исследований.