Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Алгебраические модели декомпозиции задачи отладки проектов цифровых систем с помощью моделирования  

Авторы
 Зеленко Г.В.
 Иванников А.Д.
 Рощин А.В.
 Стемпковский А.Л.
Год публикации
 2016
УДК
 681.31

Аннотация
 На основе использования в качестве модели проекта сложных цифровых систем семейства стационарных динамических систем формулируется задача отладки проекта методом моделирования. В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиция, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов.
Ключевые слова
 модель сложных цифровых систем, отладка методом моделирования на ЭВМ, проектирование систем на кристалле, логическое моделирование, логико-временной анализ, алгебраические модели, алгебраическая модель программного обеспечения, программа как полугруппа операторов
Ссылка на статью
 Зеленко Г.В., Иванников А.Д., Рощин А.В., Стемпковский А.Л. Алгебраические модели декомпозиции задачи отладки проектов цифровых систем с помощью моделирования // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 3. С. 232-239.
Адрес статьи
 http://www.mes-conference.ru/data/year2016/pdf/D199.pdf

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН