查看: 4712|回復: 0|關注: 0
打印 上一主題 下一主題

辽宁快乐12选五走势图基本走势图: [我分享] MathWorks在線研討會: 基于Polyspace的協同合作提升嵌入式代碼安全

[復制鏈接]

MATLAB 基礎討論
版塊優秀回答者

辽宁快乐12预测一号码推荐号码 www.exedlj.com.cn 241

主題

1228

帖子

35

最佳答案
  • 關注者: 984
跳轉到指定樓層
1#
發表于 2019-5-5 13:34:55 | 只看該作者 回帖獎勵 |倒序瀏覽 |閱讀模式
MathWorks在線研討會:——
基于Polyspace的協同合作提升嵌入式代碼安全

日期:2019 年 6 月 20 日

時間:北京時間上午 10 點整

概述:

嵌入式代碼安全對于高集成系統極為關鍵,基于靜態分析和形式化驗證的Polyspace不僅為這些應用符合功能安全提供了技術支撐;同時可以更好地集成到企業內部的持續集成流程,將驗證結果更為方便地共享給企業內部的利益相關者,通過質量監控、評審管理和錯誤跟蹤等協作流程打造企業的高質量文化。

會議亮點:

Polyspace 2019a 全新升級提供基于網頁瀏覽器技術的輕量級多顆粒度代碼驗證結果共享功能。
  • 可用于項目經理的代碼質量概要和趨勢分析
  • 可用于研發人員的可定位到具體代碼行的評審分析
  • 可用于質量人員的軟件質量目標達成度分析

演示者:
龔小平,MathWorks 中國區高級應用工程師。畢業于同濟大學車輛工程專業,有多年的汽車電控系統和軟件開發經驗。主要負責系統建模和仿真、自動代碼生成、模型和代碼的測試驗證等基于模型的設計技術在汽車行業電氣化和自動化方向的應用和推廣。

產品聚焦:
  • Embedded Coder
  • Polyspace Bug Finder
  • Polyspace Bug Finder Access
  • Polyspace Bug Finder Server
  • Polyspace Bug Code Prover
  • Polyspace Bug Code Prover Access
  • Polyspace Bug Code Prover Server

點擊注冊


更多MathWorks在線視頻觀看>>



您需要登錄后才可以回帖 登錄 | 注冊

本版積分規則

關閉

站長推薦上一條 /4 下一條

快速回復 辽宁快乐12预测一号码推荐号码 返回列表