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

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

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