Журнал
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ»
УДК:004.2
Номер:10 (60)
Скачать PDF579 Кбайт
ПРОЕКТИРОВАНИЕ ВЫЧИСЛИТЕЛЬНЫХ ПЛАТФОРМ КИБЕРФИЗИЧЕСКИХ СИСТЕМ
Аннотация:
Проанализированы вопросы проектирования вычислительных платформ в составе киберфизических систем. Представлены основные прогрессивные методики системного/архитектурного проектирования специализированных средств вычислительной техники и автоматики, которые могут составить основу комплексной методологии проектирования киберфизических систем нового поколения. Даны определения понятий „вычислительная платформа“, „высокоуровневое проектирование“ встраиваемых систем и систем на кристалле. Рассмотрены методологии и технологии „Платформо-ориентированное проектирование“, „Акторное проектирование“, ESL-проектирование, высокоуровневый синтез систем на кристалле, „Контрактно-ориентированное проектирование“ в контексте создания встраиваемых и киберфизических систем. Приведены положения HLD-методологии, созданной и развиваемой на кафедре вычислительной техники Университета ИТМО.
Ключевые слова:
Постоянный URL
Статьи в номере
- МЕТОД ИНФОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ В ИНЖЕНЕРИИ ЗНАНИЙ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ
- МЕТОД БЫСТРОГО ПОИСКА УЗЛОВ СЕМАНТИЧЕСКОЙ СЕТИ ПО ТОЧНОМУ СОВПАДЕНИЮ СЛОВОФОРМЫ
- МЕТОД РЕАЛИЗАЦИИ „ПЕСОЧНИЦЫ“ ДЛЯ ПОТЕНЦИАЛЬНО ОПАСНЫХ ПРОГРАММ
- РЕЗЕРВИРОВАННОЕ ОБСЛУЖИВАНИЕ ЗАПРОСОВ, КРИТИЧНЫХ К ЗАДЕРЖКАМ ОЖИДАНИЯ, В ДВУХУРОВНЕВЫХ СИСТЕМАХ
- ОЦЕНКА СТРУКТУРНЫХ ПАРАМЕТРОВ МАРШРУТИЗАТОРА ПРИ ПРИОРИТЕТНОМ УПРАВЛЕНИИ НЕОДНОРОДНЫМ ТРАФИКОМ С ПРОИЗВОЛЬНЫМ РАСПРЕДЕЛЕНИЕМ ДЛИН ПАКЕТОВ
- ВЕРОЯТНОСТЬ РАСПРЕДЕЛЕНИЯ ИНТЕРВАЛА ВРЕМЕНИ МЕЖДУ ПАКЕТАМИ В КОРПОРАТИВНОЙ КОМПЬЮТЕРНОЙ СЕТИ
- ПРОБЛЕМА ЛОЖНОГО РАЗДЕЛЕНИЯ СТРОК КЭШ-ПАМЯТИ ПРОЦЕССОРОВ В МНОГОПРОЦЕССОРНЫХ СИСТЕМАХ
- ПОДХОД К РАЗРАБОТКЕ СИСТЕМ ПОТОКОВОЙ ОБРАБОТКИ ДАННЫХ НА ПЛИС С ВОЗМОЖНОСТЬЮ КОМБИНИРОВАННОЙ ОТЛАДКИ
- ИСПОЛЬЗОВАНИЕ ЦИКЛИЧЕСКИХ КОРРЕКТИРУЮЩИХ КОДОВ В РЕКУРСИВНЫХ КОДОВЫХ ШКАЛАХ
- ПРОЕКТИРОВАНИЕ МИКРОАРХИТЕКТУРЫ ВЫЧИСЛИТЕЛЕЙ НА БАЗЕ ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ЯЗЫКОВ
- ОЦЕНКА ГЕОМЕТРИЧЕСКИХ ПАРАМЕТРОВ СТАРТА ЛЕТАТЕЛЬНЫХ АППАРАТОВ С ПОМОЩЬЮ ОТСЛЕЖИВАНИЯ КЛЮЧЕВЫХ ОСОБЕННОСТЕЙ ВИДЕОПОТОКА