سال انتشار: ۱۳۸۴

محل انتشار: دومین کنفرانس بین المللی فناوری اطلاعات و دانش

تعداد صفحات: ۹

نویسنده(ها):

محبوبه مقدم – آزمایشگاه محیط فراگیر، دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف
مهدی نیامنش – آزمایشگاه محیط فراگیر، دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف
رسول جلیلی – آزمایشگاه محیط فراگیر، دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف

چکیده:

با افزایش روز افزون حجم محاسبات و اطلاعات، تقاضا برای سیستمهای که عمر طولانی و قابلیت دسترسی بالا داشته باشند، رو به افزایش است. ازمهمترین ملزومات چنین سیستمهایی، قابلیت بازپیکربندی در زمان اجراست. اطمینان از بازپیکربندی این سیستمها در دو زمان قابل طرح است: زمان توصیف و زمان اجرا. هدف از این مقاله، ارائه مدلی برای بازپیکربندی پویای معماری نرم افزار جهت اطمینان از فرایند بازپیکربندی است. در زمان توصیف، ایمنی بازپیکربندی ارزیابی می گردد و در زمان اجرا، از انجام کامل و صحیح عمل بازپیکربندی اطمینان حاصلمی شود.