HVAC Algorithm Verification and Code Generation
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