相關主題
商品描述
This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from system-level modeling to the correct and predictable generation of a distributed implementation, leveraging current and future research results.
商品描述(中文翻譯)
本書為讀者提供了廣泛的技術涵蓋，旨在對複雜的分散式嵌入式系統的行為和性能進行建模、驗證和驗證。作者試圖彌合基於模型的設計、即時分析和模型驅動開發這三個學科之間的差距，以便更好地理解如何構建新的開發流程，從系統級建模到正確且可預測的分散式實現生成，並利用當前和未來的研究成果。
