以技術(shù)為紐帶,服務(wù)國(guó)家戰(zhàn)略
支持國(guó)軍標(biāo)、MISRA 等靜態(tài)分析 C/C++語(yǔ)言的單元測(cè)試和集成測(cè)試
可視化模型設(shè)計(jì)與驗(yàn)證 有效C代碼自動(dòng)生成
系統(tǒng)化需求撰寫(xiě)、管理、追溯和評(píng)審
應(yīng)用于嵌入式軟件開(kāi)發(fā)的需求階段
實(shí)現(xiàn)源代碼全方面“體檢”
針對(duì)工業(yè)互聯(lián)網(wǎng)軟件進(jìn)行模糊測(cè)試
全方位汽車(chē)網(wǎng)絡(luò)安全滲透、合規(guī)測(cè)試工具
掃描已知的漏洞,安全隱患和許可證風(fēng)險(xiǎn)
新一代二進(jìn)制逆向分析工具
全面覆蓋機(jī)載軟件需求、開(kāi)發(fā)和測(cè)試完整生命周期的高可信適航工具鏈
以車(chē)載信息安全體系為基本架構(gòu),適配高校教學(xué)和學(xué)員信息安全素養(yǎng)建設(shè)等實(shí)際需求,將模擬生產(chǎn)環(huán)境下的車(chē)輛安全測(cè)試和培訓(xùn)教學(xué)相結(jié)合。
車(chē)載入侵檢測(cè)防御系統(tǒng)IDPS提供OTA升級(jí)安全、系統(tǒng)安全、日志存儲(chǔ)安全、車(chē)外網(wǎng)絡(luò)安全、車(chē)內(nèi)總線(xiàn)安全以及GNSS欺騙等多種安全監(jiān)控防護(hù)手段。
上??匕猜?lián)合旗下革路團(tuán)隊(duì),提供了網(wǎng)聯(lián)安全終端單元的開(kāi)放參考設(shè)計(jì)。搭載自主可控 KSE2.0 安全加密模塊。
依照信息安全開(kāi)發(fā)流程,規(guī)范產(chǎn)品的安全開(kāi)發(fā)過(guò)程;梳理、定義產(chǎn)品的信息安全功能與需求,制定相應(yīng)的驗(yàn)證測(cè)試方案。
電話(huà):021-62655886
郵箱:marketing@ticpsh.com
地址:上海市普陀區(qū)同普路1030號(hào)1號(hào)樓3層