پاورپوینت با عنوان درس درستی یابی سیستم های واکنشی

لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (..pptx) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 46 صفحه

قسمتی از متن PowerPoint (..pptx) :

به نام خدا ارائه درس درستی یابی سیستم های واکنشی موضوع : Rebeca (Reactive Object Language) مقدمه real applications Rebeca formal verification یکی از ملزومات درستی یابی رسمی برای اطمینان از درستی سیستم ها داشتن یک روش کارآمد و مناسب برای مدل سازی سیستم های همروند و توزیع شده است.Rebeca یک زبان actor-base برای مدلسازی این سیستم ها است. در واقع Rebeca تلاش میکند همانند پلی ارتباطی میان درستی یابی رسمی و application های واقعی عمل نماید. as a reference model Concurrent Cmputation Rebeca platform for developing object-based concurrent systems Rebeca می تواند بر پایه یک مفسر قابل استفاده برای مدل actor به عنوان مدل مرجع برای محاسبات هم روند، استفاده شود، همچنین Rebeca می تواند عملا پایگاهی برای توسعه سیستم های هم روند شی گرا باشد. Rebeca مشابه مدل actor می باشد که درآن: active object ها مستقل. message passing ها غیر هم زمان بافر ها نا محدود. تغییر topology و تولید active object ها به صورت dynamic است تعریف class به syntax اضافه شده و class ها عملا شبیه الگوهایی برای states، behaviorو active object interfase هستند. component ها به عنوان active object هایی که به صورت غیر هم زمان اجرا می شوند تصور شده اند. در rebeca نقش active object های داخلی و خارجی متفاوت با مدل actor واقعی است. Objectها واکنشی و self-contaend هستند که به آنها rebec اتلاق می شود. Rebeca و یا (Reactive Object Language) حاصل تحقیقات و پایان نامه خانم دکتر مرجان سیرجانی از اساتید فعلی دانشکده فنی و مهندسی دانشگاه تهران و دانشجوی آقای دکتر موقر در دانشگاه صنعتی شریف می باشد. همچنین تحقیقات صورت گرفته برای تکامل Rebeca حاصل تلاش گروهی از دانشجویان دانشگاه صنعتی شریف و دانشگاه تهران می باشد. Rebeca یک مدل نسبتا جدید و در حال تکامل است این مدل برای اولین بار در سال 2002 با ارائه مقاله ای تحت عنوانSimulation in Rebeca در کنفرانس بین المللی Parallel and Distributed Processing Techniques and Applications(PDPTA’02) مطرح شد و در اوریل همان سال در سمینار Automated Verification of Critical Systems (AVoCS'02) در دانشگاهBirmingham ارائه شد. مقالات Rebeca در کنفرانسها و سمینارهای بین المللی ارائه شده و تعدادی از آنها منتشر شده است . 2003 M. Sirjani, A. Movaghar, H. Iravanchi, M.M. Jaghoori, A. Shali Model Checking in Rebeca in the Proceedings of The 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03), CSREA Press, June 2003. M. Sirjani, A. Movaghar, H. Iravanchi, M.M. Jaghoori, A. Shali. Model Checking Rebeca by SMV in the Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS'03), University of Southampton, April 2003. 2002 M. Sirjani and A. Movaghar, Simulation in Rebeca in Proceedings of The 2002 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), CSREA Press, June 2002. Also presented on Automated Verification of Critical Systems (AVoCS'02), University of Birmingham, April 2002. 2001 M. Sirjani, A. Movaghar, and M.R. Mousavi, Compositional Verification of an Actor-Based Model for Reactive Systems in Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS'01), Oxford University, April 2001.