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

Спецификация и валидация протоколов систем на кристалле: проблемы и пути их решения
Авторы
	Печенко И.С.
Год публикации
	2016
УДК
	004.91
Аннотация
	Процесс проектирования систем на кристалле предполагает, что архитектурные спецификации создаются в основном в виде текстовых описаний на естественном языке, а пригодные для верификации модели появляются на более поздних этапах проектирования. Однако с усложнением архитектуры этих систем возникает необходимость формального анализа спецификаций по крайней мере одной из составляющих их архитектуры - протоколов взаимодействия между компонентами системы. В данной работе представлен метод создания и дальнейшего анализа спецификаций протоколов систем на кристалле в форме диаграмм последовательности операций. Целью этого метода является повышение качества спецификаций системных протоколов и предоставление возможности их верификации на ранних стадиях проектирования систем на кристалле.
Ключевые слова
	система на кристалле, процесс проектирования, архитектура, язык системного уровня, протокол, верификация, BPMN, диаграмма, система состояний и переходов.
Ссылка на статью
	Печенко И.С. Спецификация и валидация протоколов систем на кристалле: проблемы и пути их решения // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 2. С. 92-98.
Адрес статьи
	http://www.mes-conference.ru/data/year2016/pdf/D196.pdf