產(chǎn)品分類 更多>>
產(chǎn)品推薦
綜上所述，利用SCADE可以根據(jù)需求建立模型、然后通過靜態(tài)分析模型的完整性和一致性、再可以通過模擬仿真模型的正確性、后還可以通過形式驗證模型的安全性。通過這一系列的操作以后，我們得到了一個完美的模型，已經(jīng)在開發(fā)的早期，也就是在設(shè)計階段就已經(jīng)把可能的錯誤都已經(jīng)排除掉了。
SCADE的代碼生成器是指以這個完美的模型為基礎(chǔ)，生成出完美的代碼。它生成的代碼滿足一系列的安全性特征，具有良好的可讀性和友好的接口，和手寫代碼具有基本相當(dāng)?shù)拇笮『托省?
和其它的許多代碼生成器相比，SCADE代碼生成有兩個的特點。，SCADE
所生成的代碼是完全面向工程的產(chǎn)品代碼，可以直接嵌入到產(chǎn)品中去而不需要做任何修改。第二，SCADE基于嚴(yán)格的數(shù)據(jù)理論，它代碼運(yùn)行的結(jié)果和仿真的結(jié)果完全一致。
KCG是目前世界上通過了DO-178B這一嚴(yán)格標(biāo)準(zhǔn)的A級質(zhì)量認(rèn)證的代碼生成器。它也是通過了IEC61508標(biāo)準(zhǔn)質(zhì)量認(rèn)證的代碼生成器，支持MISRA等標(biāo)準(zhǔn)。它的使用不僅大大節(jié)省了編碼工作，而且生成的代碼的無需單元測試，很大程度地節(jié)省了驗證工作和驗證時間。基于SCADE KCG的開發(fā)流程已被相關(guān)認(rèn)證機(jī)構(gòu)廣泛接受，在空客、歐洲直升機(jī)、達(dá)索等眾多用戶的多個項目得到大量應(yīng)用，并通過了DO-178B認(rèn)證。KCG還是通過了IEC 61508認(rèn)證的代碼生成器。
公司網(wǎng)址：http://www.passiontechinc.com
