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

To location
To registration form

DateLanguageDownload all information as a PDF file
October 11-13, 2017EnglishAgenda/Registration form October 2017



This 3-day training 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 workshop takes participants through all process steps from designing and creating the simulation model in Simulink® and Stateflow® to serial code generation (with TargetLink®) 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-2-back tests. You will learn to make use of all steps in practical exercises.

This training workshop is also available as an on-site workshop.
In this case our instructors can tailor the curriculum to meet your specific needs.

Target audience

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

 

HIGHLIGHTS
  • Model-based development with Simulink® und Stateflow®
  • Developing safety-critical software in compliance with ISO-26262
  • Code generation from Simulink models (with TargetLink)
  • Model quality analysis and evaluation
  • Model architectures
  • 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 Product Manager 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.

 

 

Roman Emmerling

Roman Emmerling is Automotive Software Engineer at Model Engineering Solutions. He oversees MES client projects from test specification to test evaluation as testing engineer since 2012. As an expert in the field, he knows exactly what testers really need and applies his knowledge as tool developer of MES Test Manager (MTest).

 

 

AGENDA - Day 1

TIMETOPIC
9 a.m.Welcome and introduction of participants
9: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
  • 10:30 a.m.Modeling embedded software in Simulink
  • Simulink modeling environment
  • Design and structure of plant and controller models
  • Simulink model parametrization
  • Hands-on:
    - Introduction to model requirements
    - Creating Simulink modules
  • 12:30 p.m.Lunch break and open dialogue
    1:30 p.m.Modeling embedded software with Stateflow
  • Introduction to the concept of state-based machines
  • Control structures and flow charts
  • Stateflow design pattern
  • Hands-on:
    - Creating a Stateflow chart
  • 4 p.m.Model quality analysis and evaluation
  • Model structure analysis
  • Introduction to complexity metrics
  • Model complexity calculation
  • Hands-on:
    - Analysis of created and further models
  • ca. 5 p.m. End of Day 1

    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. Implementation and code generation with TargetLink
  • Hands-on:
    - Enhancing Simulink/Stateflow models with implementation information
    - Code generation
    - Code review
    - Software-in-the-Loop (SiL) simulation
  • 12 p.m.Lunch break and open dialogue
    1 p.m.Safeguarding model quality with modeling guidelines
  • Overview of modeling guidelines
  • Modeling guidelines for MISRA® and ISO 26262-compliant models
  • Automatic checking of modeling guidelines
  • Hands-on:
    - Checking models for their compliance with modeling guidelines
  • 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
  • How are test cases structured? Which typical basic elements are included?
  • How does the equivalence class method work and how does it help?
  • Test sequence creation with classification tree method
  • Parameter- and variant-dependent test specifications
  • ca. 5 p.m. End of Day 2

    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:
    - Specialization by means of practical exercises - Joint preparation of test specifications - Execution of test sequences - Using parameters for the efficient variation of test sequences
  • 11 a.m. Regression and back-2-back comparison
  • Application areas (MiL vs. SiL vs. PiL, model simulation vs. measurement data)
  • Combination of back-2-back and regression testing with test assessments
  • Conversion of output signals to reference signals
  • Hands-on:
    - Automatic test execution for MiL/SiL/PiL - Implementation and documentation of the test evaluation in the report - Definition of tolerances (amplitude and time)
  • 12 p.m.Lunch break and open dialogue
    1 p.m.Model and code coverage in the model test
  • Model coverage for all MiL test platforms
  • Code coverage
  • Hands-on:
    - Increasing model/code coverage through structure-based test cases - Interpretation and evaluation of coverage reports
  • 2:30 p.m. Results and progress overview
  • Are the requirements correctly implemented in the test object?
  • Checking the quality of test results (test catalogue, test report)
  • When am I finished with the development and quality assurance?
  • Hands-on:
    - How do changes in the requirement and functional specifications affect the workflow?
    - Adapting test specifications and test assessments to requirement modifications
    Overview of development and project quality
  • 4 p.m.Conclusions / feedback on workshop
    ca. 5 p.m. End of Day 3