وارسی مدل کیسه هوای خودرو با رویکرد منطق درخت محاسباتی
محل انتشار: هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش
سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 593
فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICIKT07_123
تاریخ نمایه سازی: 22 مهر 1394
چکیده مقاله:
عدم وجود خطا در سیستم های حیاتی، به علت بحرانی بودن عملکرد آنها دارای اهمیت ویژه است. این سیستم ها باید تا حد امکان بدون نقص طراحی و پیاده سازی شوند. در این مقاله سیستم کیسه هوای خودرو به صورت رسمی توسط سیستم گذار حالت تعریف می شود و ضوابط ایمنی آن با استفاده از تعریف سیستم کیسه هوای خودرو استخراج و توسط منطق درخت محاسباتی بیان می شوند. سپس با استفاده از ابزار اوپال، سیستم شبیه سازی شده و ضوابط ایمنی در آن بررسی می شوند تا صحت عملکرد و ارضای این ضوابط را در مدل وارسی کند. در صورت ارضا نشدن ضوابط ایمنی، محل و دلیل بروز نقض شناسایی و با اصلاح نقص، سیستم برای پیاده سازی و اجرا، ایمنمی شود.
کلیدواژه ها:
نویسندگان
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :