Alexander Binkowski
Product Application Engineer MoRe
More Info
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).
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
Also available as in-house training class
- Exclusively for your team or organization.
- We adapt the content, starting times, and agenda to your specific needs and challenges.
- Delivered either online or in person at your organization.
