首页 > 开发工具链 >
开发工具链

Development

MCU和评估板

介绍 ÉCLAIR的主要功能:
  • 编码标准的自动检查:ECLAIR支持自动检查一些广泛使用的编码标准的符合性,包括
MISRA-C:1998、MISRA-C:2004、MISRA C:2012、MISRA C++:2008等;
  • 不需要编写编译器特定的文件
  • 报告自动生成:ECLAIR可配置为自动生成符合合同义务和工业标准(如ISO 26262)的合规报告。
  • 强大的图形化人机界面,ECLAIR支持的所有验证任务都可以通过方便的图形用户界面逐步指定和细化
  • 嵌入式C代码规则检查
  • HIS代码度量:ECLAIR可以提供关于代码的全面的度量,包括HIS源代码度量,文档定义的基本集,以及SQALE Method质量模型的许多需求。
  • 检查溢出、除零、空指针、死循环等常见bug
下载 BUGSENG_ECLAIR产品资料


走进西能
公司介绍
发展历程
合作伙伴
成功案例
开发工具链
Bugseng ÉCLAIR MISAR静态代码和AUTOSAR C代码检查工具
HighTec GNU编译工具
PLS调试工具
INCHRON多核架构设计,仿真,优化工具
Gliwa T1时间测量和分析工具
CTC++覆盖率测试工具
应用开发套件
Hpx套件
Aurix电机控制套件
ISO262262功能安全套件
工程服务
多核系统架构设计和优化
多核底层驱动和移植
多核电机开发和测试平台
多核时间特性测试和分析
控制系统闭环动态测试
多核ECU生产线自动化刷写和测试
资料下载
安装软件包
安装指南
培训视频
Q&A
获取评估license
新闻中心
公司新闻
新技术信息
产业链动向
培训与研讨会