技術(shù)編號：12119572
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明涉及用于安全關(guān)鍵軟件開發(fā)的基于模型的技術(shù)和過程的系統(tǒng)和方法。背景技術(shù)微處理器控制設(shè)備的普及已經(jīng)導(dǎo)致了功能越來越多的設(shè)備，但它也更加依賴于控制這些嵌入式系統(tǒng)的軟件的質(zhì)量。許多潛在危險的設(shè)備都是由嵌入式軟件(例如，汽車、火車、飛機、煉油廠、化工廠、核電廠和醫(yī)療設(shè)備等)控制的。驗證用于這些設(shè)備和系統(tǒng)的操作應(yīng)用程序代碼的正確性的傳統(tǒng)方法是困難且低效的。安全關(guān)鍵軟件系統(tǒng)開發(fā)解決了這些系統(tǒng)的規(guī)模和復(fù)雜性的增加，并尊重保持安全關(guān)鍵業(yè)務(wù)的需要。有一系列的軟件工程方法、工具和框架來開發(fā)復(fù)雜的關(guān)鍵系統(tǒng)。例如，...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。