Introduction to Model-based Development and Quality Assurance of Embedded Software
- 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
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).
Twitter