Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
Подобные документы
Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
статья, добавлен 28.02.2016Статья посвящена разработке и реализации сценариев цифровой трансформации промышленных экосистем на основе сквозных технологий. Представлены сценарии цифровой трансформации на основе использования сквозных технологий с учетом интеграции различных доменов.
статья, добавлен 25.01.2022- 53. Синтез и верификация двухуровневой семантической информационной модели агропромышленного холдинга
Описание смысла семантической информационной модели СК-анализа. Результаты верификации системы частных моделей, входящих в двухуровневую семантическую информационную модель управления агропромышленным холдингом. Процентные распределения по группам.
статья, добавлен 26.04.2017 Технология создания интеллектуальных обучающих систем, ориентированных на знания. Приобретение знаний с использованием метода формального концептуального анализа. Построение вопросов, используемых для верификации знаний ученика со знаниями специалиста.
статья, добавлен 17.01.2018Понятия качества и надежности вычислительных систем. Требования к телекоммуникационным системам в космонавтике. Создание средств автоматизации проектирования и отладки бортовых программ. Контроль работоспособности аппаратуры космических аппаратов.
автореферат, добавлен 16.02.2018Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Разработка, обоснование структурной схемы устройства. Разработка, отладка программы на языке AHDL. Определение быстродействия, импульсной и переходной характеристик цифрового фильтра на основе программируемой логической интегральной схемы EPF10K20RC240-4.
курсовая работа, добавлен 26.11.2013Разработка математических моделей текстов на естественном языке предназначенных для поиска, классификации и кластеризации данных. Таксономическое представление текстовых документов в виде решетки замкнутых структурных синтактико-семантических описаний.
диссертация, добавлен 28.12.2016Методика выявления информационных взаимосвязей слов с нозологическими образами. Разработка системно-когнитивных моделей, обеспечивающих общую медицинскую диагностику на основе вербальных описаний симптоматики болезни и ее идентификации по анамнезу.
статья, добавлен 13.03.2020Свойства биологического нейрона. Алгоритм обратного распространения ошибки. Обучение с учителем. Виды нейронных сетей и их свойства и преимущество. Разработка системы тестирования. Выбор программных средств для разработки. Структура базы данных и системы.
дипломная работа, добавлен 07.08.2018Рассмотрение возможностей системы идентификации и верификации личности по изображению лица с помощью технологии WPF. Трудности при реализации подсистемы позиционирования человека перед фотоснимком, работы с фотоаппаратом и библиотекой идентификации.
презентация, добавлен 02.05.2014Разработка и отладка обобщенных автоматов, формальных грамматик, реализация синтаксического анализа, а также решение практических вопросов проектирования программных продуктов. Отладка разработанной грамматики для метода параллельного предшествования.
курсовая работа, добавлен 25.11.2010Основные понятия и показатели надежности программных средств. Требования к технологии разработки сложных программных средств. Планирование и управление обеспечением качества программ. Виды тестирования для обеспечения надежности программных средств.
реферат, добавлен 04.05.2011Анализ и оценка одного из подходов к разработке информационной системы генерации формальных описаний научных статей. Исследование принципов функционирования такой системы, а также алгоритмов автоматического создания локальной базы данных цитирования.
доклад, добавлен 18.01.2018Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
автореферат, добавлен 02.05.2018Формализация проблемы обеспечения безопасности информации в распределенных автоматизированных информационных системах с мультикаскадной моделью жизненного цикла. Методы верификации формальной спецификации системы обеспечения безопасности информации.
автореферат, добавлен 04.02.2018Анализ возможности использования метода сценариев применительно к развитию цифровой экономики. Преимущества данного метода при принятии стратегических управленческих решений. Анализ методики построения сценариев, на основе которой разработан алгоритм.
статья, добавлен 01.02.2019Рассмотрение оригинальных программных средств, реализующих построение и анализ системы моделей структурной сложности орграфов. Индексы структурной сложности орграфов в базисах ориентированных цепных фрагментов. Структурные модели сложности орграфов.
статья, добавлен 19.01.2018Исследование алгоритма, предназначенного для использования при реализации программного обеспечения для автоматизации резервирования узлов электронной аппаратуры. Описание структуры алгоритма. Декомпозиция функциональных блоков на простые операции.
статья, добавлен 03.12.2018- 71. Сети ISDN и X.25
Исследование услуг метода комбинирования передачи речи, видео, данных ISDN. Анализ скоростей передачи голоса и данных. Изучение служб ISDN. Параметры стандартных носителей передачи данных. Архитектура цифровой сети. Анализ состава аппаратуры терминала.
презентация, добавлен 20.10.2014 Анализ онтологических моделей для цифрового двойника здания. Набор независимых онтологий, пригодных для повторного использования. Разработка компьютерных моделей здания на основе базовых онтологий, необходимых для функционирования его цифрового двойника.
статья, добавлен 30.08.2021Необходимость совершения операций по покупке, продаже валютных контрактов с целью получения прибыли за счет изменения во времени курсов валют. Автоматический и мобильный трейдинг. Разработка в среде MetaTrader 4 советника на основе метода скальпирования.
реферат, добавлен 22.04.2019Изучение типов визуализации данных программных продуктов Hewlett-Packard. Анализ подобия между объектов сравнения с применением подхода основанного на сингулярном разложении матриц смежности графов. Суть информации, касающейся сценариев использования.
статья, добавлен 27.02.2018Описание этапов разработки информационной системы персонализированного психологического тестирования с использованием экспертного оценивания. Процесс проектирования информационной системы. База данных и алгоритм проведения тестирования студентами.
статья, добавлен 01.02.2019