چکیده
مهندسی نرم افزار مبتنی بر مولفه این اواخر به عنوان یک الگوی مناسب برای توسعه سیستمهای تعبیه شده طرح ریزی شده است.با این حال این تنها در صورتی امکان پذیر است که ویژگیهای قابلیت اعتماد سیستمهای تعبیه شده ،مانند قابلیت اطمینان،بتوانند به درستی با استفاده از مدلهای مناسب و تضمین شده ارزیابی شوند.یکی دیگر از روندهای اخیر ،شیوع مدلسازی سیستمهای نرم افزاری با توجه به مزایایی مانند استدلال قابلیت ترکیب و تجزیه و تحلیل رفتار سیستم همچنین انعطاف پذیری و قابلیت استفاده مجدد مدلها است.با این حال ،یک موضوع اصلی وجود عدم اطمینان در پارامترهای قابلیت اطمینان در ارتباط با روشهای مبتنی بر ازمون سنتی برای موجودیتهای معماری خاص است(برای مثال مولفه ها و/یا اتصال دهنده ها).در این زمینه ما یک روش جدید برای تخمین قابلیت اطمینان سیستمهای نرم افزاری مبتنی بر مولفه پیشنهاد میکنیم که به یک مدل معماری سیستم با استفاده از شبکه های عمومی شتاب میدهد. این نماد یک تعمیم از شبکه های پتری و یک تکنیک مدلسازی رسمی همه منظوره برای توصیف پدیده های موازی است.برای شرح قابلیت اطمینان ما نظریه احتمال را اعمال میکنیم که توانایی حل جنبه عدم اطمینان را دارد.این بر اساس مجموعه های فازی است و خصوصیات قابلیت اطمینان مولفه های نرم افزاری در معماری سیستمها با معیارهای فازی را شرح میدهد.
1-مقدمه
استفاده افزایش یافته از پردازنده های تعبیه شده در تمام مراحل زندگی انسان نیاز به محصولات با کیفیت بالا را به ارمغان میاوردو به عنوان یک نتیجه توجه خاص برای اطمینان ازکیفیت سیستمهای تعبیه شده نیاز است.یک فاکتور کیفیت مهم ،قابلیت اطمینان و اعتماد است که بوسیله چندین خصوصیت مانند قابلیت اطمینان ،دردسترس بودن،صداقت ،ایمنی،محرمانگی و قابلیت نگه داری مشخص میشود. اخیرا تلاشهای تحقیقاتی ،[21]،[24]،[16] برای در برگرفتن روشهای مهندسی نرم افزار مبتنی بر مولفه (CBSE) در توسعه سیستمهای تعبیه شده پیشنهاد شده اند.CBSE به طور موفقیت امیزی در توسعه GUI ،محاسبات سازمانی و برنامه های کاربردی مبتنی بر وب به کار گرفته میشود،به خاطر مزایای ان از نظر ساختار سیستم،سهولت بررسی و اثر بخشی هزینه با توجه استفاده مجدد.بااین حال پذیرش ان برای توسعه سیستمهای تعبیه شده و بلادرنگ به طور قابل توجهی کندتر شده است...