SCADE Suite Time Verifier(最壞運(yùn)行時(shí)間分析器)在實(shí)時(shí)系統(tǒng)中,在任務(wù)實(shí)際運(yùn)行前,需要知道在最差情況下的任務(wù)執(zhí)行時(shí)間。SCADE
內(nèi)置的最壞運(yùn)行時(shí)間分析工具,在選定處理器(ARM, MPC, DSP)以及Cache、內(nèi)存等相關(guān)的硬件配置信息之后,SCADE Time Verifier在模型級(jí)別自動(dòng)運(yùn)行并統(tǒng)計(jì)出最壞執(zhí)行時(shí)間,并生成相關(guān)的報(bào)告。