實時嵌入式軟件圖形化建模方法研究.pdf

1、當(dāng)今，嵌入式操作系統(tǒng)的應(yīng)用越來越廣泛，嵌入式控制系統(tǒng)的軟件也變得越來越復(fù)雜，尤其是當(dāng)嵌入式系統(tǒng)應(yīng)用于軍事、航天等領(lǐng)域時，對嵌入式系統(tǒng)的實時性和可靠性具有很高的要求。在設(shè)計和開發(fā)控制軟件時，既要保證系統(tǒng)控制邏輯、功能的準(zhǔn)確性，還要嚴(yán)格滿足系統(tǒng)的時序關(guān)系，不能產(chǎn)生絲毫的偏差，更要將一些可靠性的設(shè)計思想融入到軟件的設(shè)計中。
　　傳統(tǒng)的軟件開發(fā)方法會產(chǎn)生如前期的分析、設(shè)計和后期的代碼、測試脫節(jié)；代碼是由人工手動實現(xiàn)，效率低且容易產(chǎn)生人為的

2、錯誤；模塊的可重用性差等問題。基于模型驅(qū)動的開發(fā)方法是近幾年才興起的軟件開發(fā)方法，使用模型作為軟件開發(fā)過程中統(tǒng)一的描述手段，圖形化的模型表示方式更加直觀的顯示了系統(tǒng)的功能和模塊，采用模型開發(fā)工具自動生成代碼，提高了開發(fā)效率同時也避免了人為錯誤的嵌入，提高了可靠性。
　　在將模型驅(qū)動開發(fā)方法應(yīng)用于嵌入式領(lǐng)域時，缺少一套既可以用于描述嵌入式控制系統(tǒng)功能，又可以體現(xiàn)嵌入式系統(tǒng)可靠性、實時性特點的模型體系。本文主要的研究內(nèi)容就是通過建模技