SCADE Suite®產(chǎn)品是針對高安全性嵌入式軟件的基于模型的開發(fā)環(huán)境 SCADE Suite是高安全性嵌入式軟件的開發(fā)標準，其應(yīng)用領(lǐng)域涵蓋航空、國防、軌道交通、能源和重工業(yè)。專為最高等級的質(zhì)量和安全需求而設(shè)計隨著SCADE 語言和統(tǒng)一的形式化符號的完美集成，SCADE Suite為高安全應(yīng)用工具提供了從需求管理，基于模型設(shè)計，模擬仿真，認證，有效代碼生成，到和其他工具、平臺協(xié)作開發(fā)的獨一無二的集成設(shè)計環(huán)境。 SCADE已通過了下面的各項國際安全標準：  通過了軍用和航空航天的DO-178B認證，達到A級水平。  通過了重工業(yè)和能源TÜV的IEC 61508認證，達到SIL 3。  通過了軌道交通TÜV的EN 50128認證，達到SIL 3/4。  通過了與核能兼容的IEC 60880認證。 不但提高了工作效率，還改善了產(chǎn)品質(zhì)量 SCADE Suite大幅度減少了高安全嵌入式軟件項目的成本。 SCADE 使用者可減少花費在報告編寫和驗證上的成本:  每人每天平均可以完成10行可執(zhí)行代碼的開發(fā)（包括驗證），而手工開發(fā)，每人每天只能完成5行代碼  軟件認證成本減少50％  編碼，走查和測試代碼的成本減少70％到90％  軟件更新周期縮短65％到75％  自動生成模型級測試和覆蓋率分析  消除代碼錯誤和省略了低層測試  在整個生命周期實現(xiàn)快速安全的設(shè)計變更，同時減少70％到90％的測試成本 安全構(gòu)造  正確的設(shè)計建模，圖形化的調(diào)試和高效仿真  設(shè)計驗證™ - 形式化驗證  生成安全、高效的小型代碼  項目管理和文檔生成 上海葩星科技有限公司是SCADE Suite產(chǎn)品代理商。葩星科技成立于2003年。公司主業(yè)方向¨實時應(yīng)用，控制系統(tǒng)應(yīng)用¨相關(guān)的仿真測試試驗臺架，和相關(guān)的咨詢開發(fā)項目。公司可以完成信號調(diào)理，信號通信接口，硬件驅(qū)動，信息網(wǎng)絡(luò)系統(tǒng)，機械臺架等各方面的設(shè)計和開發(fā)以及集成。 公司網(wǎng)址：http://www.passiontechinc.com