18 - 19 February, 2020 | Berlin, Germany
Christian Guß, Senior Field Application Engineer at Mathworks
Mathworks Logo

Christian Guß

Senior Field Application Engineer

Check out the incredible speaker line-up to see who will be joining Christian.

Download The Latest Agenda

Pre-Conference Workshop or Training Day

Saturday, November 2nd, 2019

9:30 AM Applying Model-Based Design and Verification for Medical Device Software Development

Complexity is one of the dominant challenges in embedded software and systems engineering. In this workshop, you’ll see how incremental modeling and simulation of various aspects of a software development process from requirements to embedded implementation and testing can help medical device systems and software engineers gain confidence in their designs throughout the development workflow. The process is based on simulation-based testing and verification plus the use of formal methods on both the model and the code. Highlights include:

  • Overview of Model-Based Design workflow using FDA’s Infusion Pump reference design as a system case study for software and pump modeling
  • Automating simulation testing, including functional testing of the model and equivalence testing of the generated code 
  • Uncovering hard-to-find design errors such as dead logic, divide by zero, and integer overflows 
  • Checking the build quality of integrated code, generated and/or hand-coded