基于SCADE的嵌入式軟件開(kāi)發(fā)

• 　　嵌入式技術(shù)是計(jì)算機(jī)發(fā)展的趨勢(shì)之一，被廣泛應(yīng)用于工業(yè)和軍事領(lǐng)域。SCADE(高安全性的應(yīng)用程序開(kāi)發(fā)環(huán)境)為嵌入式軟件提供了一套基于模型的開(kāi)發(fā)方式。從嵌入式軟件的特點(diǎn)入手，對(duì)基于模型的嵌入式系統(tǒng)軟件開(kāi)發(fā)技術(shù)進(jìn)行了深入剖析，并給出了一個(gè)基于SCADE的開(kāi)發(fā)實(shí)例。 　　1引言 　　隨著嵌入式應(yīng)用技術(shù)的發(fā)展，嵌入式系統(tǒng)被廣泛應(yīng)用于人們生活的各個(gè)方面。大量功能強(qiáng)大而價(jià)格便宜的通用嵌入式硬件隨之出現(xiàn)在市場(chǎng)上。而如何能夠在通用硬件平臺(tái)上，高效的開(kāi)發(fā)出滿(mǎn)足安全性與可靠性需要的專(zhuān)用嵌入式軟件成為了制約嵌入式技術(shù)應(yīng)用的
• 關(guān)鍵字： SCADE  嵌入式  標(biāo)準(zhǔn)C