Дубинин В.Н., Зинкин С.А. Сетевые модели распределенных систем обработки, хранения и передачи данных

Монография. – Пенза: Приволжский Дом знаний, 2013. – 452 с. Рассматриваются методы и инструментальные средства для спецификации, верификации, оценки производительности и проектирования вычислительных комплексов, систем и сетей. Основные этапы технологии сетевого моделирования проиллюстрированы на примерах систем массового обслуживания, вычислительных систем и сетей. Рассмотрены типовые задачи синхронизации и их модели. Особое внимание уделено системам управления массовой памятью и коммуникационным протоколам. Предлагается новая методология моделирования распределенных вычислительных систем, базирующаяся на принципе непосредственно исполняемых формальных спецификаций, в существенной степени облегчающая и ускоряющая создание аппаратного и программного обеспечения.
Монография может быть рекомендована студентам, научным и инженерно-техническим работникам компьютерных специальностей. Главы:
Сетевые модели как средство описания и проектирования систем
Методы представления сетевых моделей
Простые примеры моделирования
Архитектура системы структурного проектирования на основе сетевого формализма
Типовые задачи синхронизации
Использование сетевых моделей в проектировании систем управления внешней памятью ЭВМ
Спецификация, верификация и реализация коммуникационных протоколов
Архитектурное моделирование систем и сетей внешних запоминающих устройств с параллельной организацией поиска и передачи данных