概率 WCET 估計的廣義不等式方法:重尾分布下的緊致安全邊界
摘要:實(shí)時系統(tǒng)(如自主駕駛、機(jī)器人 IoT)的概率最壞執(zhí)行時間(pWCET)估計是保障時序正確性的關(guān)鍵,但現(xiàn)有方法要么存在模型不確定性(EVT),要么對重尾分布估計過于悲觀(MEMIK)。埼玉大學(xué)&TIER IV公司聯(lián)合研究的《Generalized Inequality-based Approach for Probabilistic WCET Estimation》:通過在切比雪夫不等式中引入飽和函數(shù),在保證數(shù)學(xué)安全性的同時,大幅降低了重尾分布下的估計悲觀度,為真實(shí)系統(tǒng)提供了更實(shí)用的 pWCET 解決方案。
一、核心結(jié)論
