抢占免费上机培训：安全关键嵌入式软件的代码验证

jane_woods · 发表于 2013-10-21 17:28:13

本帖最后由 jane_woods 于 2013-10-21 17:33 编辑

当年欧洲阿里安娜501火箭由于飞行计算机软件运行错误而导致主/辅计算机全部停机并在飞行升空后爆炸，为此，法国国家计算机与控制研究所、欧洲航天局组织专门的力量研制以抽象解释技术为理论基础的新一代软件验证/测试工具---PolySpace，并在阿里安娜502上得到成功的应用。此后PolySpace商业化应用，成为世界上首家自动检测嵌入式软件运行错误的工业化软件测试工具，被广泛应用于航空航天和军工、汽车、轨道交通、医疗器械等对于安全要求较高的嵌入式软件系统。Polyspace产品使用基于形式化的静态分析来发现运行时错误，以验证软件的安全性。它提供与MATLAB/Simulink的接口，提供全面的软件验证功能，以在早期开发阶段即可查找各种缺陷、检查编码规则、证明不存在运行时错误。

此次免费的上机体验活动，您将体会该解决方案所带来的收益：
• 检测难以发现的运行时错误
• 标准的编程规范检查 (MISRA C/C++)
• 证明软件的安全性
• 减少测试和验证周期
• 追踪软件质量指标
• 符合安全性标准要求(DO-178, ISO 26262, …)

活动特别说明：此次我们邀请了Polyspace欧洲开发团队的核心人员作为主讲人，因为提供上机体验，电脑有限，我们将在活动前五个工作日内根据报名先后电话确认，并告知培训地点。敬请谅解。

日期/地点：11月12日北京， 11月14日成都， 11月19日西安， 11月21日上海
时间：下午１点到５点
报名地址：点击此处，在线报名如有任何问题，请联系伍小姐：010-59827031, jane.wu#mathworks.cn (请把#替换成@)
更多详情：https://www.mathworks.cn/company ... html?s_eid=PEP_5764