基于模型的嵌入式软件开发和质量保证介绍

 

内部培训

This training class provides a practical overview of developing and safeguarding embedded software on the basis of Simulink and code generators like Embedded Coder and TargetLink within the framework of serial projects. The training class takes participants through all process steps from designing and creating the simulation model in Simulink and Stateflow to generating production code.

Model quality assurance consists of verifying the model and software architecture, safeguarding the modeling guidelines, as well as checking for functional compliance with requirements in the model test. The efficient requirements based test specification is implemented for the created models and applied in MiL and SiL tests. Functional accuracy is verified by the evaluation of regression and back-to-back tests. You will learn how to follow all the steps in practical exercises using the MES Test Manager (MTest), the MES Model Examiner (MXAM), and the MES Quality Commander (MQC).

价格请咨询
3天或5个半天
英语或德语
线上或面对面进行

目标受众

This training class is for novices to model-based development of embedded software based on Simulink and Embedded Coder or TargetLink, including developers, testers, quality managers, project managers, and team leaders. Only basic modeling knowledge of Simulink and Stateflow is required.

课程亮点

  • Model-based development with Simulink and Stateflow
  • Developing safety-critical software in compliance with ISO 26262
  • Code generation from Simulink models
  • Model quality analysis and evaluation
  • Modeling guidelines
  • Model testing and test implementation techniques
  • A comprehensive example covering all development stages

日程安排

Day 1

  • Foundations of model-based development
  • Overview of development and quality assurance activities
  • Characteristics of ISO 26262-compliant development
  • Set up modeling environment
  • Introduction to sample models
  • Simulink modeling environment
  • Composition and structure of environment and controller models
  • Parametrization of Simulink models
  • Continuous and discrete modeling

Hands-on: Simulink

  • Introduction to the concept of finite-state machines
  • Stateflow modeling environment
  • Stateflow design pattern
  • Recommended best practices

Hands-on: Stateflow

  • Model structure analysis
  • Introduction to complexity metrics
  • Calculating model complexity
  • Measures to reduce model complexity
  • Identification of ineffective interfaces and model clones

Hands-on: Analysis, evaluation and refactoring of model architecture

Day 2

  • Principles of code generation
  • Data dictionary
  • Data types, classes, scaling, and fixed-point arithmetic
  • Interfaces (signals and buses)
  • Advantages of model referencing and libraries
  • Definition of distributed parameter files
  • Overview of modeling guidelines
  • General modeling guidelines for MISRA and ISO 26262-compliant modeling
  • Specific guidelines on improving code generator application
  • Automatic checking of modeling guidelines

Hands-on: Ensuring model quality with modeling guidelines

  • ISO 26262 requirements in the testing process
  • Test goals on different testing levels
  • Regression testing and back-to-back testing, MiL – SiL – PiL
  • Model and code coverage
  • Automatic test evaluation with test assessments

Hands-on: Model testing project

  • Test cases: What are the typical basic elements?
  • Definition of test groups and test sequences
  • Specification functions and parameter handling
  • Best practices for test specifications

Hands-on: Test specification with MTest

Day 3

  • Principles and objectives of test assessments
  • Assessment generation from requirements (MARS)
  • Benefits of formal requirements syntax

Hands-on: Formal requirements with MTest

  • Scope (MiL – SiL – PiL)
  • Combination of back-to-back and regression testing

Hands-on: Signal comparison with MTest

  • Model coverage for all MiL test platforms
  • Code coverage for SiL/PiL test platforms

Hands-on: Increasing model/code coverage with MTest

  • Quality monitoring of development projects, software verification report
  • Prioritizing ISO 26262 requirements for MBD
  • Assessing effort and benefits of ISO 26262 requirements
  • Available methods and tools for process tailoring

Hands-on: Quality monitoring project

学员评价

Fernando Alvarez,来自Ingeteam

我特别喜欢培训课程中的实操环节,它极大地帮助我巩固不同部分的知识、记住专业术语,并加深对知识的理解。课程幻灯片中的图表同样直观且很有帮助。但最值得推荐的,还是来自 MES 模赛思的经验丰富的专家们,他们精准解答了我们所有的疑问。我尤其欣赏实践环节,它有效提升了我们的软件开发能力。

往期学员,来自Continental Automotive

绝对好评!培训师们有着高水平的专业知识,清晰易懂、条理分明地呈现了主题内容。

Borja Heriz Revuelta,来自Ingeteam

培训通过直观易懂的示例,全面概括了基于模型设计中确保嵌入式软件质量所需执行的全部步骤,并清晰梳理了相关流程。我对培训成果非常满意,这些实践经验将为我们制定建模规范指导文件提供重要参考。

我们的培训师

本图片是Alexander Binkowski的肖像照。
本图片是Alexander Binkowski的肖像照。
Alexander Binkowski
Product Application Engineer MoRe
其他信息
本图片是Sophia Kohle的肖像照。
本图片是Sophia Kohle的肖像照。
Sophia Kohle
Managing Director
其他信息
本图片是Dr. Hartmut Pohlheim的肖像照。
本图片是Dr. Hartmut Pohlheim的肖像照。
Dr. Hartmut Pohlheim
Managing Director
其他信息
本图片是Dr. Simon Rösel的肖像照。
本图片是Dr. Simon Rösel的肖像照。
Dr. Simon Rösel
Product Owner MXAM
其他信息
本图片是Katja Schmidt的肖像照。
本图片是Katja Schmidt的肖像照。
Katja Schmidt
Software Engineer
其他信息
本图片是Kai Teschner的肖像照。
本图片是Kai Teschner的肖像照。
Kai Teschner
Product Application Engineer MXAM
其他信息

您有任何疑问吗?

本图片是Prof. Dr. Mirko Conrad和Björn Kunze的肖像照。
Prof. Dr. Mirko Conrad & Björn Kunze
tudoor academy

*必须填写

What is the sum of 3 and 7?