کاربرد خودکار تعامل مولفه ها درتوصیف ووارسی سیستم ها با استفاده از ابزار CoIn وDiVinE: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری

Publish Year: 1391
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,499

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

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

لینک ثابت به این Paper:

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

LNCSE02_098

تاریخ نمایه سازی: 6 اسفند 1391

Abstract:

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

Keywords:

توسعه مبتنی برمولفه خودکارتعامل مولفه تحلیل صوری , وارسی بررسی درستی زبانهای مبتنی برخودکارها , ابزار CoIn & DiVinE

Authors

جابر کریم پور

دانشگاه تبریز

ساناز خبرت

دانشگاه آزاد اسلامی زنجان

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • سازمان آموزش و خدمات پس از فروش مهاد صنعت، خودروهای ...
  • _ _ _ University, brno, Czech Republic, May 2008. ...
  • _ _ _ based systems. The Journal of S upercomputing ...
  • _ Vatekova, and B. Zimmerova. Component- Interaction Automata Modeling Language. ...
  • Nikola. Benes. Formal Verification of Component Interaction in Compon ent-Based ...
  • P. _ p. _ _ _ Formal Verification of Systems ...
  • P .Vafekova, B. Zimmerova. Component Interaction Automata for Specification and ...
  • L. Brim, _ P .Vafekova, and B. Zimmerova. Compon ent-Interaction ...
  • N. Bene, I. Cert, J. Sochor, P. Vaekov, and B. ...
  • Distributed Methods in verifiCation (PDMCO8), ENTCS, pages 35- 51. Elsevier ...
  • DiVinE - Distributed Verification Environmen. URL http:/nna. fi .muni .cz/divine. ...
  • J. Barnat, L. Brim, I. Cern , P. Moravec, P. ...
  • نمایش کامل مراجع