Introduction to Model-based Development and Quality Assurance of Embedded Software

 

Training

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).

Price on Request
3 days
English or German
Online or on-site

Target Audience

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.

Highlights

  • 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

Agenda

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

Customer Opinion

Participant from Continental Automotive

A resounding thumbs up for this workshop! The speakers displayed a high level of specialist knowledge and presented the subject in a clearly comprehensible and methodical way.

Our Trainers

Alexander Binkowski
Alexander Binkowski
Alexander Binkowski
Product Application Engineer MoRe
More Info
Sophia Kohle
Sophia Kohle
Sophia Kohle
Managing Director
More Info
Dr. Hartmut Pohlheim
Dr. Hartmut Pohlheim
Dr. Hartmut Pohlheim
Managing Director
More Info
Dr. Simon Rösel
Dr. Simon Rösel
Dr. Simon Rösel
Product Owner MXAM
More Info
Katja Schmidt
Katja Schmidt
Katja Schmidt
Software Engineer
More Info
Kai Teschner
Kai Teschner
Kai Teschner
Product Application Engineer MXAM
More Info

You Have Questions?

Prof. Dr. Mirko Conrad and Björn Kunze
Prof. Dr. Mirko Conrad & Björn Kunze
tudoor academy

* Mandatory field

Please calculate 7 plus 5.