Книга "Communicating Embedded Systems" посвящена применению формальных методов в проектировании встроенных систем, особенностям их моделирования, верификации, диагностики и синтеза управления. Увеличение сложности встроенных систем и сокращение времени на их разработку требует повышенной производительности системного проектирования, основанного на моделях и поддерживаемого инструментальными методами. Формальные методы являются математически обоснованными техниками и обеспечивают чистую структуру для выражения требований и моделей систем, учитывая дискретные, стохастические и непрерывные (временные или гибридные) параметры с помощью все более эффективных инструментов. Эта книга рассматривает эти формальные методы, примененные к встроенным системам связи, представляя связанные с ними промышленные задачи и проблемы моделирования, верификации, диагностики и синтеза управления, а также описывает основные автоматизированные инструменты, связанные с этими методами.
#зарубежная компьютерная литература
#программирование
