Products
Solutions
Learn
Training

Self-Paced Online Courses

Instructor-Led Training

MathWorks Certification Program

Events

MATLAB and Simulink Events

Event Proceedings

On-Demand Webinars

Learning Resources

Teach with MATLAB

Research with MATLAB

Student Programs

Books

Contact Us

Visit the Help Center to explore product documentation, engage with community forums, check release notes, and more.

MATLAB and Simulink Videos

Learn about products, watch demonstrations, and explore what's new.

Explore videos
Company
Company

About MathWorks

Mission and Values

Social Mission

Decarbonizing MathWorks

Customer Stories

Careers

Careers Overview

Job Search

Teams and Roles

Office Locations

Contact Us

Decarbonizing MathWorks

See how MathWorks is protecting and restoring Earth's resources.

Learn more
Help Center
MATLAB Help Center

Documentation

Installation Help

Release Notes

Download Products

Bug Reports

Community

Blogs

File Exchange

MATLAB Answers

Contact Us

Self-Paced Online Courses

Start using hands-on exercises with step-by-step instructions and automated feedback.

Explore training
Get MATLAB MATLAB
Sign In
Get MATLAB MATLAB Contact Us
Search

描述

基于模型的持续集成加速车载软件开发和交付

当前整个汽车软件行业的趋势是，日渐复杂的系统、软件规模和更快速的交付需求。基于模型设计解决了开发的难度之后，融合到持续集成当中，可以进一步提高开发的速度来响应更快交付的需求。

本次演讲介绍基于模型设计中，模型规范检查，缺陷检查和动态测试以及生成代码的静态分析，如何与持续集成系统融合，为更好的、更快和更安全的车载软件构建完成的自动化平台。

出版年份: 2022 年 8 月 3 日

相关资源

相关产品

了解更多

查看幻灯片

查看 2022 MathWorks汽车年会所有视频

特色产品

Polyspace Bug Finder

下一个:

随着汽车电子的快速发展，汽车嵌入式软件的规模日益膨大，如何保证软件的正确无误和提高开发效率一直是各大公司的共同课题。本演讲主要介绍京滨公司在整个软件开发过程中，如何利用Polyspace进行代码验证，找到隐藏的BUG，从而减低纠错的代价。 — Polyspace在软件代码验证中的应用

相关视频:

采用Polyspace检测软件运行时缺陷并证明软件的安全性。 — 采用静态代码分析软件Polyspace开发高质量嵌入式软件

Learn how to use Polyspace products in the second step of your embedded software development workflow. — Software Development Workflow: Finding and Fixing Bugs (2...

Learn how to use Polyspace products in the first step of your embedded software development workflow. You can enforce coding rules such as MISRA with Polyspace Bug Finder early in the coding process from within your IDE environment such as Eclipse. — Software Development Workflow: Enforcing Coding Rules (1 of...

In part 7 of this webinar series, we discuss the use of Polyspace for formal verification of the embedded software. — Model-Based Design for DO-178C Software Development with...

查看更多相关视频