SmartRocket TestGrid嵌入式软件自动化测试平台是专为C/C++设计的静动态代码分析工具，本次新增动态缺陷检测功能模块采用形式化验证技术提前识别除零、移位、空指针解引用、数组越界、数据溢出、未赋值使用、共享变量冲突、不可达代码等运行时错误缺陷，支持MISRA等国际编码规范进行代码合规质量度量，提供精准错误定位和修复建议，显著缩短修复周期，降低风险成本。工具基于形式化验证理论，将代码

作者 |郭建上海控安可信软件创新研究院特聘专家版块 |鉴源论坛 · 观模

该工具支持嵌入式软件模型的设计与开发，能够从系统需求出发，为用户提供基于Lustre模型语言的图形化建模、模型静态检查、模型仿真与调试、模型在环测试、C代码自动生成等丰富便捷的功能。从而为高安全性应用系统的软件开发人员提供一套完整的基于模型的开发解决方案，以此降低开发成本、缩短开发周期、减少开发风险。相较于传统的编码开发流程，Modeler基于模型的可视化建模开发，可以覆盖嵌入式开发的整个流程，从

SmartRocket TestGrid嵌入式软件自动化测试平台是专为C/C++设计的静动态代码分析工具，本次新增动态缺陷检测功能模块采用形式化验证技术提前识别除零、移位、空指针解引用、数组越界、数据溢出、未赋值使用、共享变量冲突、不可达代码等运行时错误缺陷，支持MISRA等国际编码规范进行代码合规质量度量，提供精准错误定位和修复建议，显著缩短修复周期，降低风险成本。工具基于形式化验证理论，将代码

本文提出了一种新的基于边缘计算的方法来重建丢失的全球定位系统信号。基本思想是在边缘节点收集信息，并使用它们来交叉验证从卫星接收的全球定位系统信号。

A Comprehensive Study of Autonomous Vehicle Bugs本文来自实验室金若辰、黄安妍、许伟豪、杨园的研究成果和学习笔记自动驾驶汽车（AVs）正成为我们日常生活中不可或缺的一部分。大约50家公司正在积极开发自动驾驶汽车，包括谷歌、福特和英特尔等大公司。一些自动驾驶汽车已经在公共道路上运行，最近有记录显示至少有一人不幸死亡。因此，了解自动驾驶系统中的错误对于确保

汽车技术精品著作系列-全面系统的基于ISO26262的汽车开发方法和应用指南

GPS-SDR-SIM 项目是麻省理工学院许可下发布的开源 GPS 基带信号生成器项目。本期继续介绍该项目如何实现，想看上期请点链接https://mp.weixin.qq.com/s?__biz=MzI1MTkwODMxMQ==&mid=2247484756&idx=1&sn=ea2bfabf83f4dd26f12d5f068aac0e22&chksm=e9ea9

轩辕实验室在“焉知汽车技术沙龙”的分享报告——来自本实验室侯中林的研究成果。

11月5日，由上海控安主办的工业科技生态创新论坛第一期顺利举办。本次论坛主题为“携硬核科技 创工业生态”，旨在加快构建工业互联网产业生态，深入推进工业数字化转型、智能化升级，合力发展工业软件。来自企业界和投资界50余位合作伙伴与专家参与活动。上海控安总经理蒲戈光首先致辞，详细介绍了上海控安在产业赋能方面所做的工作。上海控安一直致力于打造技术引领的产业生态服务平台，希望发现、扶持并做强中国工业硬核科