Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях

Учебное пособие, Пенза: Изд-во Пенз. политехн. ин-та. – 1992. – 95 с.Рассматриваются практические методы спецификации (описания) и верификации параллельных процессов передачи информации в вычислительных системах, сетях и комплексах. Изложение базируется на прикладной системе моделирования СИМС, разработанной авторами. Представлено определение сетевого формализма и даны методы представления сетевых моделей. Приведена методика проектирования, а также примеры спецификации и верификации реальных систем. В пособии отражен опыт авторов, принимавших участие в проектировании реальных вычислительных сетей. Учебное пособие подготовлено на кафедре "Вычислительная техника" и предназначено для студентов специальности 22.01 (230101), изучающих дисциплины "Вычислительные комплексы, системы и сети", "Прикладная математика", "Моделирование".Глава1. Сетевой формализм для структурного проектирования вычислительных систем и сетей.Глава2. Система структурного проектирования вычислительных систем и сетей.Глава3. Спецификация и верификация протоколов связи в вычислительных сетях.