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

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