Model-Implementation Fidelity in Cyber Physical System Design

این کتاب تکنیک‌های مختلفی را برای بررسی وفاداری مدل‌سازی سیستم‌های فیزیکی سایبری (CPS)، با توجه به دنیای فیزیکی که آنها را نشان می‌دهند، مورد توجه قرار می‌دهد. تکنیک‌های مدل‌سازی و تحلیل حاضر نویسندگان که جوامع مختلف را از زوایای بسیار متفاوت نشان می‌دهند، در مورد تعاملات احتمالی آن‌ها بحث می‌کنند و اشتراکات و تفاوت‌های بین شیوه‌هایشان را مورد بحث قرار می‌دهند. پوشش شامل توسعه مبتنی بر مدل، توسعه مبتنی بر منبع، تجزیه و تحلیل آماری، اثبات پیاده‌سازی شبیه‌ساز، ساخت کامپایلر، مدل‌سازی توان/دما دستگاه‌های دیجیتال، تجزیه و تحلیل عملکرد سطح بالا، و گواهی کد/دستگاه است. چندین زمینه صنعتی از جمله مدل‌سازی محاسبات و ارتباطات، مدل‌های معماری اثبات‌شده و تکنیک‌های اعتبارسنجی مبتنی بر آماری پوشش داده شده است.

This book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent. The authors' present modeling and analysis techniques representing different communities, from very different angles, discuss their possible interactions, and discuss the commonalities and differences between their practices. Coverage includes model driven development, resource-driven development, statistical analysis, proofs of simulator implementation, compiler construction, power/temperature modeling of digital devices, high-level performance analysis, and code/device certification. Several industrial contexts are covered, including modeling of computing and communication, proof architectures models and statistical based validation techniques.