Анализ применимости инструмента Spin к верификации протоколов когерентности памяти
Оценка эффективности применения метода model checking и инструмента Spin с верификацией протоколов когерентности памяти для поиска ошибок в устройствах. Проверка выполнимости характеристик системы. Верификация протокола когерентности "Эльбрус-2S".
Подобные документы
Понятие оперативной памяти (ОЗУ) в информатике, ее сущность и предназначение. Основное преимущество динамической оперативной памяти (DRAM). Особенности статической оперативной памяти (SRAM). Взаимодействие оперативной памяти с центральным процессором.
презентация, добавлен 14.12.2015Сравнительная характеристика транспортных протоколов передачи данных TCP, UDP и XTP. Анализ пропускной способности канала для коммутируемой сети при использовании данных протоколов. Процедура обработки и синхронизации пакетов в системе обмена информацией.
контрольная работа, добавлен 27.11.2015Программное ядро для браузеров InternetExplorer, Mozilla FireFox, Netscape Browser, Opera. Многоплатформенность и функциональность браузеров, поддержка протоколов. Поддержка web-технологий и протоколов. Создание базы данных в MS Access и автоотчета.
контрольная работа, добавлен 09.03.2015Возможности оптимизации использования оперативной памяти компьютера. Распределение расширенной памяти в MS-DOS начиная с версии 5.0. Использование дополнительной памяти на плате, вставленной в слот расширения материнской платы компьютера; вызов драйвера.
презентация, добавлен 30.05.2022Характеристика логической модели OSI. Функциональные особенности протоколов канального, сетевого, транспортного и прикладного уровней, а также протоколов передачи электронной почты. Принципы взаимодействия компьютеров в сети. Процесс инкапсуляции пакетов.
реферат, добавлен 13.01.2011Оценка места длительного хранения данных, не используемых в данный момент в оперативной памяти компьютера. Рассмотрение внешней памяти компьютера. Определение видов накопителей. Характеристика основных физических и логических параметров жестких дисков.
реферат, добавлен 29.11.2016Анализ протоколов шифрования организации каналов связи телерегулирования коммутационным оборудованием. Определение принципов работы виртуальной частной сети VPN. организация шифрованного VPN–канала при помощи IP Security. Этапы работы протоколов IPsec.
статья, добавлен 15.04.2018Анализ набора сетевых протоколов передачи данных, используемых в сетях Интернет. Общее ознакомление с терминологией понятия компьютерной передачи данных. Характеристика протоколов ARP, ICMP, UDP, TCP. Их применение в операционной системе Windows.
презентация, добавлен 10.11.2013Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Разработка информационно-логической структуры модели файлового обмена для ТОО "Караганда Связь Плюс". Реализация модели системы передачи информации, выбор программных и технических средств. Семейство протоколов обмена, интерфейсы и модемные установки.
дипломная работа, добавлен 05.05.2016Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Организация и архитектура памяти ЭВМ. Организация связи системы памяти с процессором. Классификация памяти по функциональному назначению, по способу хранения информации. Требования, предъявляемые к языкам программирования. Элементы электронной таблицы.
контрольная работа, добавлен 10.12.2014Обозначение векторов развития компьютеростроения в СССР. История разработки компьютера "Эльбрус-1". Параметры и показатели процессоров семейства "Эльбрус". Переход от скалярных процессоров к суперскалярным с возможностью перестановки инструкций.
реферат, добавлен 07.03.2024Понятие HDLC как высокоуровневого протокола управления каналом. Особенности его структурных элементов. Процесс управления логическим каналом LLC, его типы процедур. Характеристика форматов блоков данных: информационный, супервизор, Непронумерованный.
курсовая работа, добавлен 21.05.2014Сетевая модель OSI как базовая эталонная модель взаимодействия открытых систем, абстрактная сетевая модель для коммуникаций и разработки сетевых протоколов. Анализ механизмов взаимодействия программ и процессов на различных машинах на базе протоколов.
контрольная работа, добавлен 17.05.2017Виды памяти: оперативная и постоянная, её назначение и история развития. Принцип работы памяти при включении компьютера и загрузке операционной системы. Понятие ячейки памяти и особенности разрядности процессоров. Пример создания таблицы в MS Word.
контрольная работа, добавлен 22.01.2017Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Изучение схемы, определение назначения и роли памяти персонального компьютера. Характеристика внешней и внутренней памяти как систем для хранения программ и данных. Описание устройства накопителей на жестких и гибких магнитных дисках. Виды флэш-памяти.
презентация, добавлен 03.06.2012Информационный подход к исследованию мира. Запоминающее устройство как техническое средство, реализующее функции памяти ЭВМ. Назначение микропроцессорной памяти. Главные функции регистровой КЭШ–памяти. Логическая и физическая структура основной памяти.
курсовая работа, добавлен 09.04.2009- 95. Модель OSI
Сетевая топология модели OSI, обеспечивающей процесс взаимодействия с участием коммутации пакетов. Распределение протоколов (TCP/IP) по уровням модели, применяемое телекоммуникационное оборудование. Критика протоколов стандартной международной модели.
реферат, добавлен 11.12.2014 Общие сведения о виртуальной частной сети. Особенности протоколов туннелирования канального уровня модели OSI: РРТР, L2F, L2TP. Изучение достоинств и недостатков протоколов, используемых на сетевом и сеансовом уровне: SKIP, IPSec, SSL, TLS, SOCKS.
реферат, добавлен 25.02.2014Одним из важнейших устройств компьютера является память, или запоминающее устройство (ОЗУ). Основной характеристикой памяти является емкость. Характеристика и классификация внутренней и внешней памяти. Flash-память. Распределение памяти в компьютерах.
курсовая работа, добавлен 14.03.2010Понятие, история создания, характеристика и важнейшие свойства стек протоколов TCP/IP. Модель взаимодействия открытых систем (OSI). Соответствие стека TCP/IP моделям OSI. Утилиты диагностики и основные протоколы TCP/IP. Документы RFC: сущностное понятие.
презентация, добавлен 10.09.2013Совокупность стандартов, топологий и протоколов, необходимых для создания работоспособной сети. Механические и электрические параметры среды передачи, сетевых плат, соединителей. Схема семиуровневой модели OSI для протоколов связи локальных сетей.
курсовая работа, добавлен 06.03.2015Рассмотрение стандартов технологий магистральных сетей и их протоколов. Изучение особенностей взаимодействия протоколов различных уровней, инкапсуляции информации, маршрутизации, конвергенции, а также принципов коммутации пакетов и коммутации каналов.
курс лекций, добавлен 28.05.2015