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