如果用戶使用Matlab/Simulink進行系統原型設計,那么SCADE和Simulink的橋接器可以把Simulink模型中有價值的模塊自動轉化成SCADE模型,一方面幫助我們重用已有的模型和設計,減少工作量;另一方面又能充分享受SCADE的優勢,如確定的系統行為、模型覆蓋率分析、形式驗證、高安全性嵌入式代碼的自動生成等等。
此外,該橋接器也可以把SCADE生成的代碼返回到Simulink模型內部作為一個S函數使用,從而可以對嵌入式系統進行全局的仿真和調整。
公司網址:http://www.passiontechinc.com