عنوان پایان‌نامه
مدلسازی توام قابلیت اطمینان و کارایی مبتنی بر معماری سیستمهای نرم افزار
- رشته تحصیلی
- مهندسی کامپیوتر -نرم افزار
- مقطع تحصیلی
- کارشناسی ارشد
- محل دفاع
- کتابخانه دانشکده برق و کامپیوتر شماره ثبت: E1944;کتابخانه مرکزی -تالار اطلاع رسانی شماره ثبت: 49576
- تاریخ دفاع
- ۱۲ بهمن ۱۳۸۹
- دانشجو
- فائزه اشراق
- استاد راهنما
- مهدی کارگهی
- چکیده
- به کارگیری روز¬افزون سیستمهای نرم¬افزاری و رشد استفاده از توسعه مبتنی بر مؤلفه در مهندسی نرم¬افزار، سبب شده¬است که ارزیابی مبتنی بر معماری نرم¬افزار اهمیت بسزایی پیدا کند. یکی از حیطه‌های مهندسی نرم¬افزار که در آن استفاده از توسعه مبتنی بر¬مؤلفه رو به افزایش است حیطه نرم‌افزارهای بی¬درنگ است. در این حیطه، که سیستمهای حساس به زمان را در بر می¬گیرد، صحت منطقی و زمانی محاسبات از جمله مهمترین نیازمندی‌های سیستم هستند. تاثیرات مشترک این دو نیازمندی بر نحوه عملکرد سیستم سبب افزایش اهمیت ارزیابی همزمان کارایی و قابلیت¬اطمینان (کارایی¬پذیری) در سیستمهای بی‌درنگ می¬شود. در قسمت اول این پژوهش یک روش دقیق و یک روش تقریبی برای ارزیابی کارایی¬پذیری یک نرم¬افزار بی‌درنگ مبتنی بر مؤلفه ارائه شده است. علیرغم این‌که روش اول تحلیل دقیقی از کارایی¬پذیری نرم¬افزار ارائه می‌دهد، به دلیل نیاز آن به حجم بالای محاسبات، روش دیگری نیز ارائه شده است که پیچیدگی محاسباتی کمتری دارد و نتایج روش اول را با دقت مناسبی تخمین می‌زند. همچنین نشان داده شده است که چطور می¬توان روش¬های ارائه شده را برای تحلیل حساسیت کارایی¬پذیری سیستم بر اساس تغییرات معماری یا خصوصیات مؤلفه¬های سیستم بکار گرفت. از¬آن‌جا¬که در بسیاری از سیستمهای بی‌درنگ به دلیل محدودیت منابع، میزان مصرف انرژی از اهمیت بالایی برخوردار است، در قسمت دوم این پژوهش روشی برای مدلسازی و ارزیابی یک نرم¬افزار بی‌درنگ مبتنی بر مؤلفه با رویکرد بهینه¬سازی مصرف انرژی ارائه شده است. با استفاده از این روش، مصرف انرژی با در نظر گرفتن حد مطلوب کارایی¬پذیری موردنظر بهینه گردیده است.
- Abstract
- With the widespread use of software applications and growing use of component-based development (CBD) in software engineering, the evaluation of software systems based on the software architecture has gotten more attention. One of the domains in which using CBD is growing is real-time applications. In this domain, which includes time critical systems, logical and temporal correctness of computations are the most important requirements. The joint effect of these two requirements on the functionality of such systems has increased the importance of simultaneous performance and reliability (performability) analysis of these types of applications. In the first part of the current study, two exact and approximate methods have been presented for performability analysis of a component-based real-time software. Although the former method provides an exact analysis of the software performability, due to the huge amount of computations needed in this method, the latter one has been proposed to approximate the exact results with fewer computations. On the other hand, because of the limitations of energy resources, especially for real-time embedded systems, energy consumption is of high importance. Therefore, in the second part of the present research, we have proposed a method for modeling and evaluation of a real-time component-based application regarding the optimization of energy consumption. Using this method, we have optimized the software energy consumption considering a threshold for the software performability.
