商品描述
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.
商品描述(中文翻譯)
嵌入式系統的複雜性增加，加上快速的設計週期以應對更快的上市時間，需要提高系統設計生產力，包括基於模型的設計和工具支持的方法。正式方法是基於數學的技術，提供了一個清晰的框架，用於表達系統的需求和模型，考慮到離散、隨機和連續（定時或混合）參數，並使用越來越高效的工具。本書探討了這些正式方法應用於通信嵌入式系統的相關工業挑戰，以及建模、模型檢查、診斷和控制合成的問題，並描述了主要相關的自動化工具。
