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