电子工程专辑
UBM China

R2013b,一个你所不知道的MATLAB & Simulink

上网日期: 2013年12月05日 ?? 作者: 邵乐峰 ?? 我来评论 字号:放大 | 缩小 分享到:sina weibo tencent weibo tencent weibo


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友

关键字:R2013b版MATLAB? Polyspace? LTE标准?

作为MathWorks每半年发布一次的第16个新版本,R2013b版MATLAB和Simulink产品系列日前面世。该版本不仅新增了分析、设计、代码生成和实现以及其他功能,还同时新添了两款Polyspace产品以及其他79款产品的更新。

不放过任何一个代码失误

从阿丽亚娜5(Ariane 5)火箭因数据溢出爆炸造成75亿美元损失,克莱斯勒、戴姆勒、雷克萨斯等汽车巨头因ECU BUG进行大规模汽车召回,到美国海军约克城号巡洋舰因操作人员误输入字符0导致引擎失效,再到6位病人因仪器软件错误导致放射剂用量超标造成死亡……一连串触目惊心的安全事故在时刻提醒我们,一个系统软件代码的小小失误,就有可能招致毁灭性的灾难。

MathWorks应用工程师团队经理魏奋认为,航空航天、军事、汽车、医疗领域对安全性要求的严苛程度远超一般产品,并且每一步都经过了严格测试,但即便这样,还是发生了产品代码运行时错误(Runtime error)。因此,如何积极有效的预防这些代码错误,成为业界面临的共同挑战。MathWorks公司近日宣布引入两款新的代码验证工具:Polyspace Code Prover和Polyspace Bug Finder,希望能够藉此确保嵌入式软件的稳健性,使其能够以最高级别的质量和安全性运行。

新增的两款产品提供了端到端软件验证功能,涵盖了查找缺陷、检查代码规则以及证明不存在运行时错误,可供早期开发阶段使用。魏奋说,两款新工具的最大优势在于使用了形式化方法(formalization method),这是一种推导而非穷举的数学验证方式,确保一定找出并验证所有的运行式错误,这对软件开发者来说是个福音。

负责代码安全和认证的工程师可以使用 Polyspace Code Prover来确定何处会发生或不会发生运行错误。颜色编码和基于证明的结果不但简化了验证任务,还使得软件开发流程更加高效和优质。此外,Polyspace Code Prover还利用 MATLAB 平台,使用户可以访问强大的MATLAB功能,例如稳健的计算机集群间工作分配、自动化脚本编写、结果可视化以及认证报告生成。Polyspace Code Prover融入了先前在Polyspace Client for C/C++和Polyspace Server for C/C++中提供的功能。

Polyspace Bug Finder可利用静态分析方法识别嵌入式软件中的运行时错误、数据流问题以及其他缺陷,例如数值、内存以及其他编程错误。与传统的人工审验不同,Polyspace Bug Finder 使工程师可以快速识别、诊断和修复代码缺陷,从而简化开发流程。此工具不仅可检查是否符合代码规则标准(例如MISRA和JSF++、自定义规则),而且能够生成衡量代码质量和复杂度的指标。与 Polyspace Code Prover一样,Polyspace Bug Finder可利用MATLAB平台进行工作分配、脚本编写和结果可视化。这两款产品都与Simulink集成在一起以便用于自动生成代码。

魏奋同时强调说,Polyspace只针对设计流程最后产生的C代码或Ads代码进行验证。而对于安全性的验证,其实在早期建模阶段就已开始,最具代表性的产品包括Simulink Verification and Validation和Simulink Design Verifier,Simulink Design Verifier同样基于形式化方法,能够帮助用户在模型阶段找到设计上的错误并加以纠正。

第2页:LTE系统工具箱兼容LTE和LTE-A黄金参考模型和测试波形

第3页:MATLAB & Simulink功能升级


1???2???3?下一页?最后一页





我来评论 - R2013b,一个你所不知道的MATLAB & Simulink
评论:
*? 您还能输入[0]字
分享到: 新浪微博 qq空间
验证码:
????????????????
?

关注电子工程专辑微信
扫描以下二维码或添加微信号“eet-china”

访问电子工程专辑手机网站
随时把握电子产业动态,请扫描以下二维码

?

5G网络在提供1Gbps至10Gbps吞吐量方面具有很好的前途, 并且功耗要求比今天的网络和手机都要低,同时还能为关键应用提供严格的延时性能。本期封面故事将会与您分享5G的关键技术发展,以及在4G网络上有怎样的进步。

?
?
有问题请反馈
推荐到论坛,赢取4积分X