چکيده
بين محاسبات سايبري و اشياء فيزيكي پيوند ناگسستني وجود دارد. سايبر-به-فيزيك وظيفه كنترل اشياء فيزيكي و فيزيك-به-سايبر وظيفه ارسال داده به بخش كنترل را دارد. چنين مدل كنترل/حسگري بايد با استفاده از نرم‌افزار ساخته شود تا بفهميم كه چگونه ارسال داده‌هاي دنياي فيزيكي باعث شروع عمليات واحد كنترل مي‌شوند. طراحي چنين مدلي ضروري مي‌باشد چرا كه هميشه ساخت سيستم‌هاي سايبر-فيزيكي در مقياس بزرگ ايده‌آل نيست. براي اين منظور لازم است كه يافته‌هاي تئوري و مهارت‌هاي طراحي در ساخت چنين مدل‌هايي قبل از ساخت سيستم واقعي بكار گرفته شود.
در اين گزارش, به دليل ناهمگوني لايه‌هاي انتزاع سيستم‌هاي سايبر-فيزيكي و پيچيدگي رابطه آن‌ها چالش‌هاي اساسي طراحي مبتني بر مدل مورد بررسي قرار مي‌گيرد. بسياري از اين چالش‌ها مربوط به زيرساخت‌هاي شبكه هستند كه سيستم را تحت تأثير قرار داده‌است. يكي ديگر از مهمترين چالش‌ها در مدل‌سازي چندگانه كه در سيستم‌هاي سايبر-فيزيكي بكار برده مي‌شود, مهفوم سازگاري هست كه به بررسي آن پرداخته‌ايم. همچنين مؤلفه‌هاي فيزيكي را به گونه‌اي مدل مي‌كنيم كه بتوانيم آن‌ها را جهت تعامل با مؤلفه‌هاي سايبري, در جايي كه نقطه تلاقي سايبر و فيزيك هست, سايبري كنيم. فيزيك و محاسبات, پويايي زمان پيوسته با گسسته و نابهنگام بودن را تركيب مي‌كنيم و نقطه‌اي كه اين دو با هم اتصال پيدا مي‌كنند را مي‌يابيم. رفتار مؤلفه‌هاي سيستم فيزيكي بوسيله معادلات و رفتار مؤلفه‌هاي سيستم‌هاي سايبري با سيستم‌هاي گذري نمايش داده مي‌شود. براي قرار دادن مؤلفه‌هاي فيزيكي و سايبري دركنار هم از مدل‌سازي مشترك بهره گرفته‌ايم كه مدلي رويداد-رانده مي‌باشد.
