یک چارچوب تأیید زمان اجرا برای برنامههای شبکه هوشمند پیادهسازی شده بر روی چارچوبهای شبیهسازی
| عنوان | یک چارچوب تأیید زمان اجرا برای برنامههای شبکه هوشمند پیادهسازی شده بر روی چارچوبهای شبیهسازی |
|---|---|
| نویسنده | Ciraci، S.، Sözer، Hasan، Tekinerdogan، B. |
| تاریخ انتشار: | 2013 |
| محل انتشار | - IEEE |
| موضوع | شبیه سازی سیستم قدرت، شبکه های برق هوشمند |
| نوع | سند |
| زبان | انگلیسی |
| دیجیتال | بله |
| نسخه خطی | خیر |
| کتابخانه: | دانشگاه اوزیغین |
| شناسه دارایی کتابخانه | 978-146736280-1 |
| شماره ثبت | 010ac1ed-9160-457d-9b80-92d923b3622d |
| محل کتابخانه | علوم کامپیوتر |
| تاریخ | 2013 |
| یادداشتها | با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است. |
| متن نمونه | برنامههای شبکه هوشمند با چارچوبهای شبیهسازی پیادهسازی و آزمایش میشوند، زیرا توسعهدهندگان معمولاً به شبکههای حسگر بزرگ دسترسی ندارند تا به عنوان یک بستر آزمایشی مورد استفاده قرار گیرند. توسعه دهندگان مجبور هستند پیاده سازی را روی این چارچوب ها ترسیم کنند که منجر به انحراف بین معماری و کد می شود. به نوبه خود، این انحراف، تأیید محدودیت های رفتاری را که در سطح معماری توصیف شده اند، دشوار می کند. ما مجموعه ابزار ConArch را برای پشتیبانی از تأیید خودکار محدودیتهای رفتاری در سطح معماری توسعه دادهایم. یکی از ویژگی های کلیدی ConArch نگاشت قابل برنامه ریزی برای معماری به پیاده سازی است. در اینجا، توسعه دهندگان پرس و جوهایی را برای شناسایی نقاطی در برنامه هدف که با تعاملات معماری مطابقت دارند، پیاده سازی می کنند. ConArch ناظران زمان اجرا را تولید می کند که جریان اجرا را بین این نقاط نظارت می کند و بررسی می کند که آیا این جریان با محدودیت های رفتاری مطابقت دارد یا خیر. ما نشان میدهیم که چگونه میتوان از نگاشتهای قابل برنامهریزی برای تأیید محدودیتهای رفتاری یک برنامه شبکه هوشمند که با دو چارچوب شبیهسازی پیادهسازی میشود، بهرهبرداری کرد. |
| DOI | 10.1109/SE4SG.2013.6596105 |
