Overview

In this session, MathWorks engineers will demonstrate how to leverage Model-based Design to systematically test safety-critical algorithms for HVAC systems. State machine design using Stateflow is illustrated for a furnace safety-logic and then examined using Simulink Design Verifier. Once logic is tested, the state machine is automatically converted to embedded C code for deployment.

Highlights

• Designing Flowcharts/State Machines in Simulink using Stateflow
• Testing Logic for Errors Automatically
• Convert tested routine to embedded software for production use