高可信工具軟件
提供C/C++靜態缺陷檢測工具SpecChecker、可視化自動單元與集成測試平臺SunwiseAUnit、嵌入式軟件系統仿真平臺VTest等工具產品,形成自主可控的全面覆蓋高可信嵌入式軟件開發的測試工具鏈;軟件研制一體化平臺SunwiseAEM為用戶打造一套高可信嵌入式軟件研制全過程解決方案。
應用領域
航天
航空
兵器
汽車
電子
從開發到測試
在軟件編碼、單元集成測試、配置項測試、系統級測試等階段提供全方位保障。
從半物理到全數字
提供全數字化的開發、調試及測試方法,大幅縮短研制周期。
從軟件到系統
超實時的軟硬件分布式仿真系統,提供從配置項級到系統級的高效仿真測試方法。
從技術到管理
有效整合技術線和管理線各個環節的活動,實現技術和管理的深度融合。
特色介紹
認證資質
合作客戶