實(shí)時(shí)系統(tǒng)中的邏輯執(zhí)行時(shí)間模型研究綜述

摘要： 隨著實(shí)時(shí)嵌入式系統(tǒng)日益復(fù)雜化，系統(tǒng)時(shí)間確定性需求變得愈發(fā)迫切.邏輯執(zhí)行時(shí)間(LET)模型作為一種實(shí)時(shí)編程抽象模型，通過(guò)確定從讀取輸入到寫(xiě)入輸出的時(shí)間間隔，使系統(tǒng)行為與物理執(zhí)行時(shí)間解耦.LET模型區(qū)別于零執(zhí)行時(shí)間(ZET)和有界執(zhí)行時(shí)間(BET)模型，其核心在于將任務(wù)輸出延遲到任務(wù)周期結(jié)束時(shí)才發(fā)布，以消除輸出抖動(dòng).研究者基于LET模型開(kāi)發(fā)了Giotto等編程語(yǔ)言，并針對(duì)多核平臺(tái)提... （共7頁(yè)）