ورود
مقالات فارسیISIکنفرانسهاژورنالها

رویکردی نوین برای طراحی و ساخت پایشگر سیستمCIIP

محل انتشار: کنفرانس ملی مهندسی نرم افزار
سال انتشار: 1388
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,259

فایل این مقاله در 11 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:
https://civilica.com/doc/61450

شناسه ملی سند علمی:

NCSE01_042

تاریخ نمایه سازی: 14 آبان 1387

چکیده مقاله:

یکی از روشهای مطرح برای وارسی نرم افزارهای حساس به ایمنی، پایش رفتار آنها در برابر سیاستها و قیود ایمنی است. لذا در این مقاله از یک رویکرد پیشنهادی چهار گامی و فرمال برای طراحی و ساخت پایشگر یک سیستم حساس به ایمنی به نام سیستم پمپ انسولین همراه (CIIP) استفاده میگردد. هدف نهایی از این رویکرد، خودکارسازی فرآیند تزریق انسولین کافی و بهموقع به بیماران دیابتی بصورت مطمئنتر و ایمنتر است. همچنین درضمن پیشنهاد این رویکرد سودمند، یک مدل بصری جدید از رفتار و عملکرد این سیستم نیز ارائه می شود. یکی از مزایای این رویکرد، استخراج رفتارهای ناامن سیستم از طریق این توصیف بصری میباشد

کلیدواژه ها:

نویسندگان

سید جواد میرعابدینی

استادیار گروه مهندسی کامپیوتر، دانشگاه آزاد اسلامی واحد تهران مرکز

آروند ربیعی

دانشجوی کارشناسی ارشد، مهندسی نرمافزار، دانشگاه آزاد اسلامی واحد ار

مصطفی امینی

دانشجوی کارشناسی ارشد، مهندسی نرم افزار، دانشگاه آزاد اسلامی واحد ار

امیر اسماعیلی

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Storey, N. _ *Safety Critical Computer Systems , Pearson, 10, ...
  • Havelund, k., Rosu, G., ،Run-Time verification, Electronic Notes in Theatrical ...
  • Gahl, D.J., DijKstra E.J., Hoare, C.A.R., Notes On Structured Pro ...
  • Littlewood, B., Stringini, L., ،Validation of Ultrahigh Dependability for Software- ...
  • M.Leucker, C.Schallhart, 2A brief account of runtime verification', Journal of ...
  • S.Callanan, R.Grosu, . ..?Runtime Verification for High- Confidence Systems:A Monte ...
  • Selma Ikiz , Alper Sen, ،Runtime Verification of k-Mutual Exclusion ...
  • Sommerville, "Software engineering", 8th edition, Harlow: Addison Wesley, 2007. ...
  • David, R., Alla, H., *Discrete, Continuous, and Hybrid Petri Nets, ...
  • Reisig, W., Balbo, G., Silva, M. et al., «Petri Nets ...
  • Spivey, J. M., "An introduction to Z and formal specifications ...
  • Spivey, J. M., "The Z Notation: A Reference Manual", Second ...
    • نمایش کامل مراجع