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

سال انتشار: 1391
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 988

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

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

لینک ثابت به این مقاله:

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

ISCEE15_079

تاریخ نمایه سازی: 3 آذر 1391

چکیده مقاله:

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

نویسندگان

جابر کریم پور

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

ساناز خبرت

دانشجوی کارشناسی ارشد

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • سازمان آموزش و خدمات پس از فروش مهاد صنعت، خودروهای ...
  • Barbora. Zimmerova. Modeling and formal Analysis of Component -Based Systems, ...
  • Ayaz Isazadeh, Jaber Karimpour: A new formalism for ...
  • _ P. Vafekova, and B. Zimmerova. Component- Ihteraction Automata Modeling ...
  • Nikola. Benes. Formt Verification of Component Interaction in Compon ent-Based ...
  • P. Vacekova, B. Zimmerova, P. Moravec, and 2.cena. Formal Verification ...
  • P .Vafekova, B. Zimmerova. Component Interaction Automata for Specification and ...
  • L. Brim, 2.cerna, p .Varekova, and B. Zimmerova. Component- Ihteraction ...
  • N. Bene, I. Cerh, J. Sochor, P. Vaekov, and B. ...
  • K. L. McMilan, The SMV system for SMV version 2.5.4, ...
  • نمایش کامل مراجع