Abstract:

Do you test your software? Good, but there is so much more power in Model-Based Design of software: ensuring traceability, proving behavioral correctness, and verifying that the resulting code will actually run free of problems.



The constant increase of affordable computer power and recent major technological advances in program properties verification techniques allow developers and designers to actually use proving techniques either at model or coding level.

Those techniques convey major benefits including early detection of errors at specification, design and coding levels, sound proof of correctness of model and code sections as well as a stronger application development process as far as quality is concerned.



Based on Simulink® Design Verifier and PolySpaceTM products, the tutorial will introduce model and source-code verification techniques for verifying program properties (logical, functional, absence of errors), how they fit within conventional development processes and how they may be used for defining criteria for measuring software quality.

Methodology and course of the tutorial:

Language for tutorial will be German or English (can be chosen by audience).

Presentations given by two lecturers. Volunteers from the audience getting the chance to do pre-configured exercises on model and source level. After this tutorial will know how to classify the different techniques of verification and validation.



Duration, max. attendees:

half day, max. 40 attendees.

Pre-Requisite:

Basic understanding on model based design and programming language “C”

Speaker’s bio:

Klaus Wissing, Manager Application Engineering Many years of experience with embedded realtime software and operating systems. Assignments in development, project management, application engineering and technical marketing.



Dr. Joachim Schlosser is Senior Team Leader Application Engineering at The MathWorks. He encourages the implementation of the Model-Based Design methodology in various application fields, e.g. in development of control systems for the automotive and aerospace industry as well as in machinery. Joachim Schlosser

holds a degree in computer science from TU Munich. He has an experience of commercial trainings and university lectures at FH Augsburg and FH Furtwangen.