ورود
مقالات فارسیISIکنفرانسهاژورنالها

بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit

محل انتشار: چهارمین کنفرانس بین المللی پژوهش های کاربردی درمهندسی کامپیوتر و پردازش سیگنال
سال انتشار: 1395
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 830

فایل این مقاله در 13 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:
https://civilica.com/doc/617093

شناسه ملی سند علمی:

CEPS04_088

تاریخ نمایه سازی: 11 مرداد 1396

چکیده مقاله:

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

کلیدواژه ها:

نویسندگان

صابر گلوانی

دانشجوی کارشناسی ارشد، دانشگاه آزاد اسلامی واحد شبستر، ایران

آیاز عیسی زاده

عضو هیات علمی، گروه علوم کامپیوتر، دانشگاه تبریز، ایران

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • ارائه یک نجو گرافیکی برای برنامه های Rabbit [مقاله کنفرانسی]
  • ص. گلوانی و آ. عیسی زاده، " ارائه یک متامدل ... [مقاله کنفرانسی]
  • ارائه یک متامدل خاص حوزه برای برنامه های لاتک [مقاله کنفرانسی]
  • ا. آزادی‌مرند، م. چلنگر و و. خلیل‌پور اکرم "بررسی و ...
  • G. Behrmann, A. David, A-K. Larsen, J. Akansson, P-Yi. Pettersson ...
  • A. Hinton, M. Kwi atkowska, G. Norman and D. Parker, ...
  • D. Beyer, C. Lewerentz and A. Noack, A, ،Rabbit: A ...
  • M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis ...
  • F. Wang, ،، Mode l-checking distributed real-time systems with states, ...
  • J. Rutten, M. Kwiatkowska, G. Norman and D. Parker, ،، ...
  • checking continuous- Model؛، 11. C. Baier, B. Haverkort, H. Hermanns ...
  • D. Beyer, H. Rust, R. Jhala and R. Majumdar, *The ...
  • D. Beyer, C. Lewerentz and A. Noack, ،#Rabbit: A tool ...
  • D. Beyer and H. Rust, 44Cottbus timed automata: Formal definition ...
  • 4Kronos: A mode I-checking tool for real-time systems* volume 1427 ...
  • F. Wang, *Symbolic verification of complex real-time systems with clock- ...
  • checking continuous- Model؛، 17. C. Baier, B. Haverkort, H. Hermanns ...
  • G. Behrmann, R. David, and K-G. Larsen, ،A tutorial on ...
  • D. Beyer, ،Rabbit: Verification of Real-Time Systems', available online at: ...
  • TOOLS _ Rabb it_Veri fi c at ion_o f_Re al ...
  • Driven Arclitecture: Applying MDA to Enterprise Model؛، 20. D-S. Frankel, ...
  • E. Asarin, M. Bozga, A. Kerbat, O. Maler, A.Pnueli, and ...
  • R. Alur and D-L. Dill, _ theory of timed automata?, ...
    • نمایش کامل مراجع