時(shí)序溯源的嵌入式數(shù)控系統(tǒng)軟件可靠性研究

摘要： 嵌入式數(shù)控軟件的可靠性是一個(gè)重要問(wèn)題，由于其包含電機(jī)驅(qū)動(dòng)、插補(bǔ)中斷等諸多模塊，程序運(yùn)行邏輯復(fù)雜，軟件各模塊的執(zhí)行順序具有隨機(jī)性，軟件系統(tǒng)可靠性評(píng)估困難。采用馬氏鏈模型開(kāi)展嵌入式數(shù)控軟件的可靠性評(píng)估，提出時(shí)序溯源的方法，重溯程序運(yùn)行時(shí)序圖，構(gòu)建運(yùn)行剖面，量化轉(zhuǎn)移概率；采用時(shí)間補(bǔ)償?shù)某绦蜻\(yùn)行邏輯恢復(fù)方法，消除關(guān)鍵點(diǎn)數(shù)據(jù)的監(jiān)測(cè)、輸出對(duì)系統(tǒng)運(yùn)行實(shí)時(shí)性影響，還原CPU在時(shí)間軸上的運(yùn)行邏輯...