ارزيابي ايمني و قابليت اعتماد سيستم اينترلاكينگ كامپيوتري با افزونگي به روش ماركوف

كارشناسي ارشد

اينترلاكينگ به عنوان قلب سيستم سيگنالينگ مهم‌ترين بخش اين سيستم و يك بخش ايمني-محور محسوب مي¬شود. با نگاهي به وظايف سيستم اينترلاكينگ از جمله مسيرسازي صحيح، قفل كردن مسير و آزاد سازي به موقع آن و فرمان دادن به تجهيزات كنار خط از جمله سيگنال، ماشين سوزن و مدار راه، آشكار خواهد شد كه به دليل حياتي بودن اين وظايف، اين بخش الزاماً بايد تحمل¬پذيري بالايي در برابر وقوع عيوب مختلف داشته باشد. مهم‌ترين راه تحمل¬پذير كردن سيستم، استفاده از افزونگي در سخت افزار پردازنده¬هاي اينترلاكينگ مي‌باشد. ساختارهاي دو عضوه (با يك عضو آماده به كار)، سه عضوه (با رأي‌گيري 2 از 3) و چهار عضوه (2 از 2 مضاعف) از جمله مهم‌ترين افزونگي¬هاي سخت¬افزاري پياده‌سازي شده در طراحي پردازنده¬هاي سيستم اينترلاكينگ توسط سازنده‌هاي معتبر دنيا مي¬باشد كه سيستم را در مقابل عيوب، تحمل¬پذير كرده و ايمني و قابليت اعتماد آن را افزايش مي¬دهد. در اين پايان‌نامه با استفاده از روش ماركوف تحليل ايمني و قابليت اعتماد سيستم¬هاي اينترلاكينگِ داراي افزونگي‌هاي مذكور انجام شده و اين معماري¬ها از ديدگاه ايمني و قابليت اعتماد مقايسه شده¬اند. در روش ماركوف با در نظرگيري حالت‌هاي مختلف كار پردازنده¬هاي تحت افزونگي، با درنظرگرفتن نرخ خرابي، دياگرام حالت سيستم به دست مي¬آيد. سپس گذارهاي سيستم بين حالت¬هاي مختلف كاري با يك ماتريس بيان مي¬شود. بدين ترتيب با تشكيل معادلات گذار حالت مي‌توان رفتار سيستم را به طور كامل ارزيابي كرد و ايمني، قابليت اعتماد و ميانگين زمان تا خرابي سيستم اينترلاكينگ را به صورت كمّي به دست آورد. در اين پايان¬نامه همچنين تأثير ضريب¬ عيب¬يابي و نرخ خرابي بر ايمني و قابليت اعتماد سيستم اينترلاكينگ داراي افزونگي بررسي شده و اثبات شده است كه بهبود اين شاخص‌ها در اتكاپذير كردن سيستم تأثير بسزايي دارد.

191581

دانشگاه علم و صنعت ايران

كنترل و علائم

دكتر محمدعلي صنديدزاده