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