Публикации

• 
  27.08.2013 11:01

  МЦСТ Защищенное исполнение программ на базе аппаратной и системной поддержки архитектуры «Эльбрус»

  Разработанные в России универсальные микропроцессоры с архитектурой «Эльбрус» обеспечивают эффективные средства защищенного исполнения программ на базе аппаратных тегов и контекстной межмодульной защиты данных.

  
  
• 
  10.07.2013 15:31

  ИНЭУМ Имитационное моделирование биологических объектов

  Опытно-конструкторская работа "Разработка технологии комбинированного имитационного моделирования информационно-управляющих систем комплексного мониторинга, экспресс-диагностики и анализа состояния сложных распределенных биологических объектов в режиме реального времени".

  
  

• 03.07.2013 15:28
  МЦСТ Система шаблонной генерации тестов

  Рассмотрена разработка системы шаблонной генерации тестов, предназначенных для проверки соответствия реализации микропроцессора спецификации системы команд. Система генерации выполнена в виде препроцессора исходного кода на языке ассемблера. При разработке спецификации препроцессора были учтены опыт применения существующих препроцессоров и специфика генерации ассемблерных тестов. Проведена верификация разработанного препроцессора с помощью псевдослучайных тестов, генерируемых на основе его грамматики. Исследован опыт применения, выявлены направления дальнейшего развития.

  
  

• 03.07.2013 12:44
  ИНЭУМ Отработка математического обеспечения вычислительного эксперимента для испытаний сложных технических систем

  Изложены принципы отработки математических моделей сложных технических систем. Рассмотрены вопросы калибровки моделей при ограниченном числе испытаний для детерминированного и стохастического случаев.

  
  

• 03.07.2013 12:35
  МЦСТ Методология верификации протокола когерентности микропроцессора "Эльбрус-2S"

  Рассмотрена тестовая система на основе эталонной модели, используемая для верификации протокола когерентности микропроцессора «Эльбрус-2S». Описаны методы ее использования в гибридной системе вместе с RTL-моделью процессора и механизм генерации универсальных входных воздействий для разнородных составных частей.