رویکردی نوین برای طراحی و ساخت پایشگر سیستمCIIP
Publish place: The National Conference on Software Engineering
Publish Year: 1388
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,261
This Paper With 11 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCSE01_042
تاریخ نمایه سازی: 14 آبان 1387
Abstract:
یکی از روشهای مطرح برای وارسی نرم افزارهای حساس به ایمنی، پایش رفتار آنها در برابر سیاستها و قیود ایمنی است. لذا در این مقاله از یک رویکرد پیشنهادی چهار گامی و فرمال برای طراحی و ساخت پایشگر یک سیستم حساس به ایمنی به نام سیستم پمپ انسولین همراه (CIIP) استفاده میگردد. هدف نهایی از این رویکرد، خودکارسازی فرآیند تزریق انسولین کافی و بهموقع به بیماران دیابتی بصورت مطمئنتر و ایمنتر است. همچنین درضمن پیشنهاد این رویکرد سودمند، یک مدل بصری جدید از رفتار و عملکرد این سیستم نیز ارائه می شود. یکی از مزایای این رویکرد، استخراج رفتارهای ناامن سیستم از طریق این توصیف بصری میباشد
Keywords:
Authors
سید جواد میرعابدینی
استادیار گروه مهندسی کامپیوتر، دانشگاه آزاد اسلامی واحد تهران مرکز
آروند ربیعی
دانشجوی کارشناسی ارشد، مهندسی نرمافزار، دانشگاه آزاد اسلامی واحد ار
مصطفی امینی
دانشجوی کارشناسی ارشد، مهندسی نرم افزار، دانشگاه آزاد اسلامی واحد ار
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :