وارسی مدل کیسه هوای خودرو با رویکرد منطق درخت محاسباتی
Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 582
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICIKT07_123
تاریخ نمایه سازی: 22 مهر 1394
Abstract:
عدم وجود خطا در سیستم های حیاتی، به علت بحرانی بودن عملکرد آنها دارای اهمیت ویژه است. این سیستم ها باید تا حد امکان بدون نقص طراحی و پیاده سازی شوند. در این مقاله سیستم کیسه هوای خودرو به صورت رسمی توسط سیستم گذار حالت تعریف می شود و ضوابط ایمنی آن با استفاده از تعریف سیستم کیسه هوای خودرو استخراج و توسط منطق درخت محاسباتی بیان می شوند. سپس با استفاده از ابزار اوپال، سیستم شبیه سازی شده و ضوابط ایمنی در آن بررسی می شوند تا صحت عملکرد و ارضای این ضوابط را در مدل وارسی کند. در صورت ارضا نشدن ضوابط ایمنی، محل و دلیل بروز نقض شناسایی و با اصلاح نقص، سیستم برای پیاده سازی و اجرا، ایمنمی شود.
Keywords:
Authors
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :