Книга "Communicating Embedded Systems" посвящена применению формальных методов в проектировании встроенных систем, особенностям их моделирования, верификации, диагностики и синтеза управления. Увеличение сложности встроенных систем и сокращение времени на их разработку требует повышенной производительности системного проектирования, основанного на моделях и поддерживаемого инструментальными методами. Формальные методы являются математически обоснованными техниками и обеспечивают чистую структуру для выражения требований и моделей систем, учитывая дискретные, стохастические и непрерывные (временные или гибридные) параметры с помощью все более эффективных инструментов. Эта книга рассматривает эти формальные методы, примененные к встроенным системам связи, представляя связанные с ними промышленные задачи и проблемы моделирования, верификации, диагностики и синтеза управления, а также описывает основные автоматизированные инструменты, связанные с этими методами.
Электронная Книга «Communicating Embedded Systems - Claude Jard» написана автором Claude Jard в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781118600122
Описание книги от Claude Jard
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.
