Тип работы:
Предмет:
Язык работы:


МЕТОДИКА АВТОМАТИЗИРОВАННОЙ ВЕРИФИКАЦИИ АРХИТЕКТУРНЫХ БЛОКОВ ЦИФРОВОГО УСТРОЙСТВА СЛЕЖЕНИЯ ЗА ЗАДЕРЖКОЙ НАВИГАЦИОННОГО СИГНАЛА

Работа №18223

Тип работы

Бакалаврская работа

Предмет

автоматика и управление

Объем работы79
Год сдачи2018
Стоимость5900 руб.
ПУБЛИКУЕТСЯ ВПЕРВЫЕ
Просмотрено
282
Не подходит работа?

Узнай цену на написание


Введение 4
1 Анализ предметной области 5
1.1 Общие сведения и задачи предметной области 5
1.2 Методы верификации 7
1.2.1 Формальная верификация 7
1.2.2 Динамическая верификация 14
2 Описание аппаратуры потребителя и ее функциональных блоков 25
2.1 Принципы построения аппаратуры потребителей 25
2.2 Выбор инструментария 26
2.3 Структура программного обеспечения 29
2.3.1 Однобитный полусумматор и полный сумматор 29
2.3.2 Сумматор с сохранением переноса 32
2.3.3 Сумматор с предварительным расчетом переноса 34
2.3.4 Коррелятор 36
2.3.5 Генератор М-последовательности 38
3 Верификация устройства слежения за навигационным сигналом 39
3.1 Подмешивание ошибок 39
3.2 Методика автоматизированной верификации 40
3.3 Тестирование методики автоматизированной верификации схемы
слежения за задержкой навигационного сигнала 42
Заключение 50
Список используемых источников 51
Приложение А 53


В настоящее время наблюдается интенсивное развитие технологий, их структура становится более сложной и громоздкой. В связи с этим при проектировании вероятность возникновения разного рода ошибок возрастает. Для их нахождения необходимо использовать различные методы верификации. Абсолютное большинство методов верификации требуют непосредственного участия человека при их применении. На проведение верификации затрачивается большое количество времени. И не факт, что при проведении проверки не будет допущена ошибка за счет человеческого фактора.
Верификация необходима в любом процессе проектирования, в том числе и при проектировании устройства слежения за задержкой навигационного сигнала. Автоматизация верификации позволит упростить процесс проведения проверки, значительно сократить время ее проведения и риск допустить ошибку. Исходя из сказанного, вопрос автоматизации методики верификации можно назвать актуальным.
Целью работы является разработка методики автоматизированной верификации архитектурных блоков цифрового устройства слежения за задержкой навигационного сигнала.
Для достижения поставленной цели необходимо выполнить следующие задачи:
1) проанализировать архитектуру устройства слежения за задержкой навигационного сигнала в целом и отдельных его частей;
2) Провести анализ существующих методов верификации;
3) Разработать методику автоматизированной верификации данного устройства;
4) Провести тестирование разработанной методики.

Возникли сложности?

Нужна помощь преподавателя?

Помощь студентам в написании работ!


В результате выполнения выпускной квалификационной работы была разработана методика автоматизированной верификации устройства слежения за задержкой навигационного сигнала. При этом были изучены основные методы верификации, проанализирована архитектура устройства слежения за задержкой навигационного сигнала в целом и отдельных его частей.
Методика верификации, разработанная в ходе выпускной квалификационной работы, является универсальной. Данная методика может быть использована для верификации различных систем на этапе проектирования. Затраты на реализацию данной методики минимальны, за счет чего она может быть приоритетней иных методик и средств верификации.



1 СТО 4.2 07 2014. Система менеджмента качества. Общие требования к построению, изложению и оформлению документов учебной деятельности - взамен СТО 4.2 07 2012; дата введ. 09.01.2014. Красноярск,2013. - 60 с.
2 Бибило, П. Н. Основы языка VHDL / П. Н Бибило. - Москва: СОЛОН-Р, 2002. - 330 с.
3 Вельдер, С. Э. Верификация автоматных программ / С. Э. Вельдер [и др.]. - СПбГУ ИТМО, 2011. - 242 с.
4 Гришин, Ю. П. Радиотехнические системы/ Ю. П. Гришин. - Москва: Высшая школа, 1990. - 496 с.
5 Жодзишский, М. И. Цифровые радиоприемные системы: Справочник / М. И. Жодзишский. - Москва: Радио и связь, 1990.
6 Корн, Г.М. Справочник по математике / Г. М. Корн. - Москва: Наука, 1968. - 822 с.
7 Кулямин, В.В. Методы верификации программного обеспечения/
В. В. Кулямин - Москва, Институт Системного Программирования РАН, 2008. - 296 с.
8 Куликов, Е.И. Оценка параметров сигнала на фоне помех / Е. И. Куликов - Москва: Сов. радио, 1978. - 296 с.
9 Морозов, А.М. Разработка методов верификации сложных закономерностей / А. М. Морозов - Москва, 2016. - 38 с.
10 Харисов, В.Н. Обоснование модели динамики при синтезе схем слежения для приемников СРНС// Радиотехника. Радиосистемы. 2004. - 155с.
11 Харисов, В.Н. Оптимальная фильтрация координат подвижного объекта // Известия АН СССР. Радиотехника и электроника, 1984, т. 29, № 10. - 11с.
12 Харисов, В.Н. Статический анализ и синтез радио технических устройств и систем/ В. Н. Харисов. - Москва: Радио и связь, 1991. - 608 с.
13 Шкирятов, В. В. Радионавигационные системы и устройства/ В. В. Шкирятов. - Москва: Радио и связь, 1984. - 161 с.
14 Behrooz, P. Computer Arithmetic. Algorithms and hardware Designs / P. Behrooz. - New York Oxford: Oxford University Press. 2000. - 510 c.
15 Filippov, V. The First Dual-Depth Dual-Frequency Choke Ring // V. Filippov. Nashville. Proceedings of the 11th International Technical Meeting of the Satellite Division of The Institute of Navigation. 1998. - C. 1035-1040.
16 Zhodzishsky, M. Real-Time Kinematic (RTK) Processing for DualFrequency GPS/GLONASS // M Zhodzishsky. Nashville. Proceedings of the 11th International Technical Meeting of the Satellite Division of The Institute of Navigation. 1998. - C. 1325-1331.


Работу высылаем на протяжении 30 минут после оплаты.




©2024 Cервис помощи студентам в выполнении работ