Abstract
Component-based software engineering has been projected off-late as an appropriate paradigm for embedded systems development. However this becomes feasible only if the dependability attributes, such as reliability, of embedded systems can be properly estimated and guaranteed using appropriate models. Another recent trend is the prevalence of architectural modelling of software systems due to the advantages such as composability reasoning and analysis of system behaviour as well as the flexibility and reusability of models. However, a major issue is that there exists uncertainty in the reliability parameters associated with the traditional testing-based approaches for particular architectural entities (e.g. components and/or connectors). In this context, we propose a new approach for the reliability estimation of component-based software systems, which steps on an architectural model of the system using Generalized Nets. This notation is a generalization of Petri nets and is an all-purpose formal modelling technique for the description of parallel phenomena. For the reliability description, we apply possibility theory, which has the potential to solve the uncertainty aspect. This is based on fuzzy sets and describes reliability properties of software components in systems architecture with fuzzy measures
چکیده
مهندسی نرم افزار مبتنی بر مولفه این اواخر به عنوان یک الگوی مناسب برای توسعه سیستمهای تعبیه شده طرح ریزی شده است.با این حال این تنها در صورتی امکان پذیر است که ویژگیهای قابلیت اعتماد سیستمهای تعبیه شده ،مانند قابلیت اطمینان،بتوانند به درستی با استفاده از مدلهای مناسب و تضمین شده ارزیابی شوند.یکی دیگر از روندهای اخیر ،شیوع مدلسازی سیستمهای نرم افزاری با توجه به مزایایی مانند استدلال قابلیت ترکیب و تجزیه و تحلیل رفتار سیستم همچنین انعطاف پذیری و قابلیت استفاده مجدد مدلها است.با این حال ،یک موضوع اصلی وجود عدم اطمینان در پارامترهای قابلیت اطمینان در ارتباط با روشهای مبتنی بر ازمون سنتی برای موجودیتهای معماری خاص است(برای مثال مولفه ها و/یا اتصال دهنده ها).در این زمینه ما یک روش جدید برای تخمین قابلیت اطمینان سیستمهای نرم افزاری مبتنی بر مولفه پیشنهاد میکنیم که به یک مدل معماری سیستم با استفاده از شبکه های عمومی شتاب میدهد. این نماد یک تعمیم از شبکه های پتری و یک تکنیک مدلسازی رسمی همه منظوره برای توصیف پدیده های موازی است.برای شرح قابلیت اطمینان ما نظریه احتمال را اعمال میکنیم که توانایی حل جنبه عدم اطمینان را دارد.این بر اساس مجموعه های فازی است و خصوصیات قابلیت اطمینان مولفه های نرم افزاری در معماری سیستمها با معیارهای فازی را شرح میدهد.
1-مقدمه
استفاده افزایش یافته از پردازنده های تعبیه شده در تمام مراحل زندگی انسان نیاز به محصولات با کیفیت بالا را به ارمغان میاوردو به عنوان یک نتیجه توجه خاص برای اطمینان ازکیفیت سیستمهای تعبیه شده نیاز است.یک فاکتور کیفیت مهم ،قابلیت اطمینان و اعتماد است که بوسیله چندین خصوصیت مانند قابلیت اطمینان ،دردسترس بودن،صداقت ،ایمنی،محرمانگی و قابلیت نگه داری مشخص میشود. اخیرا تلاشهای تحقیقاتی ،[21]،[24]،[16] برای در برگرفتن روشهای مهندسی نرم افزار مبتنی بر مولفه (CBSE) در توسعه سیستمهای تعبیه شده پیشنهاد شده اند.CBSE به طور موفقیت امیزی در توسعه GUI ،محاسبات سازمانی و برنامه های کاربردی مبتنی بر وب به کار گرفته میشود،به خاطر مزایای ان از نظر ساختار سیستم،سهولت بررسی و اثر بخشی هزینه با توجه استفاده مجدد.بااین حال پذیرش ان برای توسعه سیستمهای تعبیه شده و بلادرنگ به طور قابل توجهی کندتر شده است...