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