INTRODUCTION TO MODEL-BASED DEVELOPMENT AND QUALITY ASSURANCE OF EMBEDDED SOFTWARE

Languages: English or German

This 3-day training workshop provides a practice-based overview of developing and safeguarding embedded software on the basis of Simulink® and TargetLink® within the framework of serial projects. The training workshop takes participants through all process steps from designing and creating the simulation model in Simulink® and Stateflow® to production code generation. Model quality assurance consists of verifying the model and software architecture, safeguarding the modeling guidelines, as well as checking for 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-toback tests. You will learn to make use of all steps in practical exercises.

Target audience

The training workshop is targeted towards modelers, developers, testers, quality managers, project managers, and team leaders, whose focus is model-based development of embedded software based on MATLAB®/Simulink® for serial projects.

Conditions of Participation and Cost

This training workshop is available upon request as an in-house training workshop in English or in German.
For company-specific adaptations to the agenda, quotations, or questions, please do not hesitate to contact Oliver Collmann (oliver.collmann@model-engineers.com).

 

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

Referenten

Dr. Hartmut Pohlheim

Dr. Hartmut Pohlheim PortraitHartmut Pohlheim is the strong backbone of our technology development. He is CTO out of firm conviction and manages customer projects as well as our in-house software development team with an unwavering commitment to the highest quality and efficiency. Our customers value his inexhaustible technical knowledge and his pragmatic, hands-on approach to challenging technology questions. Testers fear him for his zero tolerance policy when it comes to errors.

Martin Hill

Martin Hill is Scrum Master for MES Test Manager® (MTest) and responsible for projects in the fields of quality assurance, modeling, and model checking as well. Mr. Hill studied aerospace engineering and now focuses on automotive model-based testing, as well as successfully managing test projects.

 

 

AGENDA - DAY 1

TIMETOPIC
10 a.m.Welcome and introduction round
10:30 a.m.Overview: Model-based development and quality assurance with Simulink®
  • Basic concepts of model-based development
  • Overview of development and safeguarding activities
  • Boundary conditions for safety-critical systems according to ISO 26262
  • 11:30 a.m.Modeling embedded software in Simulink®
  • Simulink® modeling environment
  • Design and structure of plant and controller models
  • Parametrization of Simulink® models

  • Hands-on
    12:30 p.m.Lunch break and open dialog
    1:30 p.m.Modeling embedded software with Stateflow®
  • Introduction to the concept of finite-based machines
  • Control structures and flow charts
  • Stateflow® design pattern

  • Hands-on
    4 p.m.Analysis and evaluation of model structure
  • Analysis of model structure
  • Introduction to complexity metrics
  • Calculating model complexity
  • Improving model structures

  • Hands-on
    5 p.m. End of day

    AGENDA - DAY 2

    TIMETOPIC
    9 a.m.The TargetLink® modeling environment
  • TargetLink® Blockset
  • Data Dictionary
  • Data types, classes, scaling and fixed-point arithmetic
  • Interfaces (signals and busses)
  • TargetLink® functions
  • Conversion of example models
  • 10:30 a.m. Model integration
  • Model referencing/Libraries/Parameter files
  • Distributed modeling

  • Hands-on
    12 p.m.Lunch break and open dialog
    1 p.m.Safeguarding model quality with modeling guidelines
  • Overview of modeling guidelines
  • Modeling guidelines for MISRA® and ISO compliance
  • Automatic checking of modeling guidelines

  • Hands-on
    3 p.m. Safeguarding model quality with model tests
  • Goals, workflow, and process steps of model testing
  • Test specification methods
  • Test evaluation methods
  • Test documentation
  • Tracing requirements in model tests
  • 4 p.m.Requirements-based test case creation
  • Test case structure
  • Equivalence class method
  • Test sequence creation with classification tree method
  • Parameter- and variant-dependent test specifications
  • 5 p.m. End of day

    AGENDA - DAY 3

    TIMETOPIC
    9 a.m.Systematic requirements-based specifications of test sequences
  • Definition of test groups and test sequences with MTCD
  • Description functions in MTCD (functions, synchronous, asynchronous)
  • Parameter handling with MTCD
  • Best practices for test specifications

  • Hands-on
    11 a.m. Regression and back-to-back comparison
  • Application areas
  • Combination of back-to-back and regression testing with test assessments
  • Conversion of output signals into reference signals

  • Hands-on
    12 p.m.Lunch break and open dialog
    1 p.m.Model and code coverage in the model test
  • Model coverage for all MiL test platforms
  • Code coverage

  • Hands-on
    2:30 p.m. Results and progress overview
  • Are requirements correctly implemented in the test object?
  • Checking the quality of test results (test catalog, test report)
  • When am I finished with the development and quality assurance?

  • Hands-on
    4 p.m.Conclusions / feedback on training workshop
    5 p.m. End of day