技術編號：6460354
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。本發(fā)明涉及嵌入式領域基于模型的軟件開發(fā)方法中的自動代碼生成技術， 尤其是涉及一種由。技術背景隨著嵌入式技術的不斷發(fā)展，傳統(tǒng)的基于手工編寫代碼的開發(fā)方法存在容 易出錯、開發(fā)效率低等許多不足，已經無法滿足嵌入式軟件開發(fā)的需要。基于 模型的軟件開發(fā)方法是嵌入式領域一種新的軟件開發(fā)方法。該方法通過抽象出 軟件系統(tǒng)的關鍵問題并用模型加以描述，表達出系統(tǒng)的解決方案，然后通過采 用形式化的工具對系統(tǒng)模型進行驗證，以保證系統(tǒng)設計的正確性。在保證系統(tǒng) 正確性的基礎上，就可以...
注意：該技術已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權人授權前，僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。