A computationally efficient formal method for discovering simultaneous masking in medical alarms

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