雷達系統軟件
雷達系統軟件
相關文章 : 1篇
瀏覽 : 15次
雷達系統軟件多是實時嵌入式系統軟件,其邏輯和結構復雜,調試運行困難.采用傳統手工編碼的開發方式,軟件需求和設計錯誤往往在編碼完成后的集成測試階段才能發現,最終導致研制進度慢,軟件產品質量差.采用基于形式化建模方法開發的軟件,在模型的設計階段就可以進行模型仿真驗證,能夠直觀,全面地分析模型的正確性.經過驗證的模型可以自動生成與平臺無關的高質量C代碼,且模型易于重用,可以顯著提高雷達系統軟件的安全性,可靠性和開發效率.
推薦產品
列表欄目