📄Работа №18223
Тема: МЕТОДИКА АВТОМАТИЗИРОВАННОЙ ВЕРИФИКАЦИИ АРХИТЕКТУРНЫХ БЛОКОВ ЦИФРОВОГО УСТРОЙСТВА СЛЕЖЕНИЯ ЗА ЗАДЕРЖКОЙ НАВИГАЦИОННОГО СИГНАЛА
Характеристики работы
Тип работы
Бакалаврская работа
Предмет
Автоматика и управление
Объем:
79 листов
Год:
2018
Просмотров:
416
5900
руб.
🛒 Купить работу
Не подходит эта работа?
Закажите новую по вашим требованиям
Узнать цену на написание
Закажите новую по вашим требованиям
Представленный материал является образцом учебного исследования, примером структуры и содержания учебного исследования по заявленной теме. Размещён исключительно в информационных и ознакомительных целях.
Workspay.ru оказывает информационные услуги по сбору, обработке и структурированию материалов в соответствии с требованиями заказчика.
Размещение материала не означает публикацию произведения впервые и не предполагает передачу исключительных авторских прав третьим лицам.
Материал не предназначен для дословной сдачи в образовательные организации и требует самостоятельной переработки с соблюдением законодательства Российской Федерации об авторском праве и принципов академической добросовестности.
Авторские права на исходные материалы принадлежат их законным правообладателям. В случае возникновения вопросов, связанных с размещённым материалом, просим направить обращение через форму обратной связи.
Настоящий учебно-методический информационный материал размещён в ознакомительных и исследовательских целях и представляет собой пример учебного исследования. Не является готовым научным трудом и требует самостоятельной переработки.
📋 Содержание
Введение 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 Анализ предметной области 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) проанализировать архитектуру устройства слежения за задержкой навигационного сигнала в целом и отдельных его частей;
2) Провести анализ существующих методов верификации;
3) Разработать методику автоматизированной верификации данного устройства;
4) Провести тестирование разработанной методики.
✅ Заключение
В результате выполнения выпускной квалификационной работы была разработана методика автоматизированной верификации устройства слежения за задержкой навигационного сигнала. При этом были изучены основные методы верификации, проанализирована архитектура устройства слежения за задержкой навигационного сигнала в целом и отдельных его частей.
Методика верификации, разработанная в ходе выпускной квалификационной работы, является универсальной. Данная методика может быть использована для верификации различных систем на этапе проектирования. Затраты на реализацию данной методики минимальны, за счет чего она может быть приоритетней иных методик и средств верификации.
Методика верификации, разработанная в ходе выпускной квалификационной работы, является универсальной. Данная методика может быть использована для верификации различных систем на этапе проектирования. Затраты на реализацию данной методики минимальны, за счет чего она может быть приоритетней иных методик и средств верификации.
ИЛИ
Поиск аналога
📕 Список литературы
🛒 Оформить заказ
⚡ Работу высылаем в течении 5 минут после оплаты.