HVAC Algorithm Verification and Code Generation
Overview
With increasing system complexity, managing and executing tests via ad-hoc testing infrastructure can become a time-consuming and tedious task. In this session, we will demonstrate how to leverage more systematic verification workflow. This includes creating supervisory logic using state machine, developing formal tests around this logic and automatically generating tests to ensure full coverage.
Additionally, the session will cover generating embedded code from supervisory logic and a method for validating this code in a simulation environment.
Highlights
- Designing flowcharts/state machines for HVAC systems
- Authoring, managing and automating test creation for the HVAC state machine verification
- Convert tested routine to embedded software for production use
About the Presenter
Pourash Patel
Senior Application Engineer | MathWorks
Pourash is focused on model-based design workflow in the medical device industry. He supports the entire V software development workflow, but primarily focuses on MBSE and V&V (verification and validation). Prior to MathWorks, Pourash worked in the power tool and automotive industry where he supported controls, systems, and test organizations. He received a M.S. + M.Eng in electrical engineering from Western University, Ontario, Canada, where he specialized in embedded controls.
This event is part of a series of related topics. View the full list of events in this series.
