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

3 days

Dates and in-house training classes available worldwide on request: sales@model-engineers.com.

Languages: English or German

You might also be interested in the MES Summer School, which has a similar topic aimed at the same target audience.

 

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 requirementsbased 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 with 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

★★★★★
Participant,
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.”

Fees, Terms & Conditions

Agenda - Day 1

TIME TOPIC
9 a.m. Welcome and introduction round
9:30 a.m. Model-based software development with Simulink
  • Foundations of model-based development
  • Overview of development and quality assurance activities
  • Characteristics of ISO 26262-compliant development
  • 10:15 a.m. Introduction to sample application
  • Set up modeling environment
  • Introduction to sample models
  • 10:30 a.m. Modeling embedded software in Simulink
  • Simulink modeling environment
  • Parametrization of Simulink models
  • Continuous and discrete modeling

  • Hands-on: Simulink
    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
  • Stateflow modeling environment
  • Stateflow design pattern
  • Recommended best practices

  • Hands-on: Stateflow
    4 p.m. Analysis and evaluation of model structure
  • Model structure analysis
  • Introduction to complexity metrics
  • Calculating model complexity
  • Countermeasures to overly complex models
  • Assessing coherence in models

  • Hands-on: Model architecture analysis
    5 p.m. End of day

    Agenda - Day 2

    TIME TOPIC
    9 a.m. Code generation via TargetLink/Embedded Coder development environment
  • Principles of code generation
  • Data dictionary
  • Data types, classes, scaling, and fixed-point arithmetic
  • Interfaces (signals and buses)
  • 10:30 a.m. Integrating models and distributed modeling
  • Advantages of model referencing and libraries
  • Definition of distributed parameter files
  • 11 a.m. Ensuring model quality with modeling guidelines
  • Overview of modeling guidelines
  • Modeling guidelines for ISO 26262-compliant modeling
  • Automatic checks of modeling guidelines with the MES Model Examiner (MXAM)

  • Hands-on: Modeling guidelines with MXAM
    12:30 p.m. Lunch break and open dialog
    1:30 p.m. Ensuring model quality with model testing
  • ISO 26262 requirements in the testing process
  • Safeguarding functional properties of model and code
  • Regression testing and back-to-back testing, MiL – SiL – PiL
  • Automatic test evaluation with test assessments
  • 2:30 p.m. Systematic requirements-based test case creation
  • 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
    5 p.m. End of day

    Agenda - Day 3

    TIME TOPIC
    9 a.m. Automated test evaluation with test assessments
  • Principles and objectives of test assessments
  • Assessment generation from requirements (MARS)
  • Benefits of formal requirements syntax

  • Hands-on: Formal requirements with MTest
    11 a.m. Regression and back-to-back signal comparison
  • Scope (MiL vs. SiL vs. PiL)
  • Combination of back-to-back and regression testing

  • Hands-on: Signal comparison with MTest
    12:30 p.m. Lunch break and open dialog
    1:30 p.m. Model and code coverage in the model test
  • Model coverage for all MiL test platforms
  • Code coverage for SiL/PiL test platforms

  • Hands-on: Increasing model/code coverage with MTest
    3 p.m. Overview of results and progress of model test
  • Are requirements correctly implemented in the test object?
  • When is development and quality assurance done?

  • Hands-on: Monitoring quality with MQC
    4:30 p.m. Wrap up of the event
    5 p.m. End of training class