Методика автоматизированного управления качеством при прототипировании аппаратно-программных комплексов на базе ПЛИС большой емкости

О. М. Брехов; А. В. Корнеенкова; К. А. Кордовер; Н. Ю. Мухин; Е. А. Орлова; И. В. Тузов

Методика автоматизированного управления качеством при прототипировании аппаратно-программных комплексов на базе ПЛИС большой емкости

О. М. Брехов¹, А. В. Корнеенкова², К. А. Кордовер³, Н. Ю. Мухин⁴, Е. А. Орлова⁵, И. В. Тузов⁶

научная статья Страницы: 84-90

¹ д.т.н., профессор, Московский авиационный институт (национальный исследовательский университет)
² к.т.н., доцент, Московский авиационный институт (национальный исследовательский университет)
^3,5 мл. науч. сотрудник, МАИ НИО-304
⁴ мл. науч сотрудник, МАИ НИО-304
⁶ мл. науч. сотрудник МАИ НИО-304

Ключевые слова: управление качеством автоматизация методики верификации OVM SystemVerilog верификация на базе утверждений система управления версиями система информационных ресурсов рефакторинг непрерывная интеграция

Аннотация

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

Для цитирования

Брехов О.М., Корнеенкова А.В., Кордовер К.А., Мухин Н.Ю., Орлова Е.А., Тузов И.В. Методика автоматизированного управления качеством при прототипировании аппаратно-программных комплексов на базе ПЛИС большой емкости // Успехи современной радиоэлектроники. 2012. № 1. С. 84–90.

Список источников

Бек.К. Экстремальное программирование: разработка через тестирование. СПб.: Питер. 2003.
Фаулер М., Бек К., Брант Д., Робертс Д., Апдайк У. Рефакторинг: улучшение существующего кода. СПб.: Символ-Плюс. 2009. С. 432.
Максфилд К. Проектирование на ПЛИС - Архитектура, средства и методы. Курс молодого бойца. М.: Додека-XXI. 2007.
Кларк Э. М., Грамберг О., Пелед Д. Верификация моделей программ. ModelChecking. М.: МЦНМО. 2002.
OVMUserGuideVersion 2.1.1. Cadence Design Systems. Mentor Graphics. 2010.
Srikanth Vijayaraghavan, Meyyappan Ramanthan. A Practical Guide for SystemVerilog Assertions. USA. Springer-Verlag New York Inc. 2005.
Dorothy Graham. Erik van Veenendaal. Isabel Evans. Foundations of Software Testing: ISTQB Certification (Paperback). 50-51 BedfordRowLondon, CengageLearningEMEA.
Ларман К. Применение UML 2.0 и шаблонов проектирования. Введение в объектно-ориентированный анализ, проектирование и итеративную разработку. Изд. 3-е. М.: Изд. дом «Вильямс». 2009.

[1] Бек.К. Экстремальное программирование: разработка через тестирование. СПб.: Питер. 2003.

[2] Фаулер М., Бек К., Брант Д., Робертс Д., Апдайк У. Рефакторинг: улучшение существующего кода. СПб.: Символ-Плюс. 2009. С. 432.

[3] Максфилд К. Проектирование на ПЛИС - Архитектура, средства и методы. Курс молодого бойца. М.: Додека-XXI. 2007.

[4] Кларк Э. М., Грамберг О., Пелед Д. Верификация моделей программ. ModelChecking. М.: МЦНМО. 2002.

[5] OVMUserGuideVersion 2.1.1. Cadence Design Systems. Mentor Graphics. 2010.

[6] Srikanth Vijayaraghavan, Meyyappan Ramanthan. A Practical Guide for SystemVerilog Assertions. USA. Springer-Verlag New York Inc. 2005.

[7] Dorothy Graham. Erik van Veenendaal. Isabel Evans. Foundations of Software Testing: ISTQB Certification (Paperback). 50-51 BedfordRowLondon, CengageLearningEMEA.

[8] Ларман К. Применение UML 2.0 и шаблонов проектирования. Введение в объектно-ориентированный анализ, проектирование и итеративную разработку. Изд. 3-е. М.: Изд. дом «Вильямс». 2009.

Аннотация

Для цитирования

Похожие статьи