新闻动态
智能网联汽车安全保障：望安科技解决方案与工具平台
来源: | 作者:望安科技 | 发布时间: 302天前 | 1177 次浏览 | 分享到:


5.W-AVC：支持基于模型的源码测试/验证

平台未来可基于Simulink、SysML等模型驱动开发工具或语言，基于（半）形式化设计实现部分代码和基准代码自动生成，而后采用W-AVC对代码进行自动形式化验证。

结合平台提供的验证任务管理、IDE插件、CI/CD等工程优化方面的功能，W-AVC将助力未来汽车基础软件研发更安全、更高效。



二、W-Cert

基础软硬件形式化建模与验证工具

望安科技形式化验证工具W-Cert面向形式化建模与验证，可以有效支持从安全要求、安全策略、安全功能规范到安全设计的形式化建模与验证。并且根据注释生成符合CC标准的评估证据，保障系统安全的同时，大幅度降低开发人员提供评估证据的工作量。

在汽车领域，传统的模型驱动开发工具已难以满足基础软硬件的需求。尤其是在国外，汽车基础软硬件已达到EAL6/7或A级安全标准，而国内刚刚起步，对于安全的需求迫切。W-Cert符合CC（Common Criteria）和IEC 61508/ISO 26262等标准的形式化技术要求，支持符合CC EAL 5/6/7的形式化框架，可帮助汽车行业满足严格的安全要求。



三、W-CaaS

信息安全评估服务平台

望安CC评估服务平台W-CaaS是一款集开发、分析、评测符合通用标准的CC认证标准化平台，可便捷、快速的进行CC认证的实施及管理。平台在认证产品时可节省的时间和成本为50%，且符合标准的可靠性为100%。

W-CaaS产品能力：



望安工具平台应用案例

一、W-AVC应用案例

1.开源AUTOSAR


2.开源RTOS


3.开源鸿蒙 分布式软总线


4.载人航天工程某控制软件

5.军科院嵌入式系统


6.航天压力舱控制软件


7.车联网评测平台集成


8.区块链：LUX加密货币核心代码



二、W-Cert应用案例

目前，W-Cert工具已应用到多个关键系统的形式化验证、国产关键软硬件形式化验证的主要实施单位。其中，国产OS已应用到国家重大行业。


三、W-CaaS应用案例

W-CaaS承担了国内最早一批EAL5+高安全级认证项目，取得了国内第一、二个软件EAL 5+高安全级认证证书，正在落地国内首个EAL6+认证。目前，W-CaaS认证的基础软件和芯片，正在汽车行业逐步落地应用。


1.元心微内核操作系统EAL 5+认证

第一个在国内进行CC EAL5+认证的操作系统软件，是国内认证机构颁发的首个软件EAL5+级别证书。

2.MiTEE 小米可信执行环境EAL 5+认证

国内认证机构颁发的第二个软件EAL5+级别证书，也是CCRC首个EAL5+证书。

NEWS