مروری بر مسئله تخمین بدترین زمان اجرا

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