| Summary: | Монография посвящена вопросам разработки методологических и теоретических основ синтеза распределенных управляющих систем. Предлагаемые теоретические решения базируются на функциональной стандартизации протоколов информационного обмена. Предложен аппарат профилирования протоколов информационного обмена и тестирования их реализаций. Это позволяет осуществить модульное построение распределенных управляющих систем, построить спецификации контроля и наблюдения за процессами тестирования реализаций, обеспечить выполнение требований динамической конформности. Представлены математические модели возникновения логических ошибок, возникающих из-за асинхронного выполнения ряда процессов в конкретных реализациях протоколов и некорректности их описания. Предлагаются процедуры коррекции и проверки синтаксиса реализаций протоколов. Книга предназначена для широкого круга специалистов, занимающихся теоретическими и практическими вопросами построения распределенных управляющих систем и процессами информационного обмена в них. |
|---|
