您現(xiàn)在的位置: 首頁 > 標(biāo)簽 > 雷達(dá)系統(tǒng)軟件
雷達(dá)系統(tǒng)軟件
雷達(dá)系統(tǒng)軟件
相關(guān)文章 : 1篇 瀏覽 : 15次

雷達(dá)系統(tǒng)軟件多是實(shí)時(shí)嵌入式系統(tǒng)軟件,其邏輯和結(jié)構(gòu)復(fù)雜,調(diào)試運(yùn)行困難.采用傳統(tǒng)手工編碼的開發(fā)方式,軟件需求和設(shè)計(jì)錯(cuò)誤往往在編碼完成后的集成測試階段才能發(fā)現(xiàn),最終導(dǎo)致研制進(jìn)度慢,軟件產(chǎn)品質(zhì)量差.采用基于形式化建模方法開發(fā)的軟件,在模型的設(shè)計(jì)階段就可以進(jìn)行模型仿真驗(yàn)證,能夠直觀,全面地分析模型的正確性.經(jīng)過驗(yàn)證的模型可以自動(dòng)生成與平臺無關(guān)的高質(zhì)量C代碼,且模型易于重用,可以顯著提高雷達(dá)系統(tǒng)軟件的安全性,可靠性和開發(fā)效率.