关于我们
About us
发展历程
Development course
2024
1月 获国家高新技术企业认定 1月 中标某航天嵌入式操作系统EAL5+项目 7月 中标某部形式化验证采购项目 10月 形式化安全认证亮相小米发布会
2022
3月 与JTsec建立联合实验室 3月 与银行卡检测中心建立联合实验室 6月 空间站压力控制系统形式化实施 11月 承担浙江“尖兵”研发攻关项目
2020
11月 望安科技正式起航 12月 自主研发PiCore验证工具
1月 中标浪潮科技子公司沄熹科技EAL认证项目 1月 再度与小米签约EAL 5+项目 5月 获深创投千万级天使轮融资
2023
3月 签约中国航天科工集团 6月 签约中科海微 10月 签约小米科技
2021
5月 签约保障航天方舟航天器 8月 元心科技签约EAL 5+项目 10月 为军科院提供形式化验证工具
2019
投资机构
Investment institution
企业荣誉与行业影响
与CCRC共同推进国内CC安全评估生态
与西班牙jtsec建立联合实验室
CC操作系统内核技术委员会(SK TC)成员
智能网联汽车基础软件标准工作组成员
与国家金融科技测评中心建立联合实验室
标准委员会成员
行业标准建设
联系我们
咨询热线 400-675-8118
预约免费会议
一对一专属客服
扫码获取认证资料