پاسخ به:دانلود مقالات کامپیوتر
پنج شنبه 24 فروردین 1391 7:17 PM
 68: ابزار تزريق اشكال مبتني بر شبيه سازي در مدل هاي Verilog  |
| جاسمي معصومه، رجب زاده امير |
| كنفرانس ملي سالانه انجمن كامپيوتر ايران 1387;اسفند 1387(14) |
| کلید واژه: تزريق اشكال (Fault Injection)، پوشش كشف خطا (Fault Detection Coverage)، سيستم هاي تعبيه شده (Embedded Systems)، انتشار اشكال (Fault Propagation)، ارزيابي اتكاپذيري (Dependability Evaluation) |
|
خلاصه:
ايجاد مكانيزم هاي تحمل پذير اشكال در سيستم هاي تعبيه شده گام بسيار مهمي در طراحي سيستم هاي تعبيه شده مطمئن مي باشد. يكي از راه هاي ارزيابي مكانيزم هاي تحمل پذير اشكال در طراحي سيستم هاي تعبيه شده مطمئن استفاده از روش تزريق اشكال مبتني بر شبيه سازي مي باشد كه داراي قابليت كنترل و مشاهده بالا در آزمايشات تزريق اشكال مي باشد. اين مقاله يك ابزار تزريق اشكال مبتني بر شبيه سازي را به منظور ارزيابي مكانيزم هاي تحمل پذيري اشكال در سيستم هاي ديجيتال كه با استفاده از زبان توصيف سخت افزار Verilog بيان شده اند، ارايه مي دهد. اين ابزار قادر به استخراج پارامترهاي پوشش كشف اشكال و تاخير كشف اشكال بوده و همچنين بررسي انتشار اشكال را امكان پذير مي سازد. عملكرد اين ابزار شامل دو بخش، 1) تزريق اشكالات ماندگار يا گذرا با اعمال سيگنال تزريق اشكال در داخل كد Verilog و 2) تحليل نتايج شبيه سازي حاصل از تزريق اشكال مي باشد. اين ابزار قابليت تزريق اشكال در همه سطوح تجريد شامل سوييچ، گيت، جريان داده، رفتاري و ساختاري را دارد. |
