Many HVAC applications are nowadays specified using natural language, leading to imprecise specifications and impossibility to test the system before a physical prototype is built. On the other hand, model-based design holds the possibility of implementing a simulated environment where an executable model can be tested. This presentation will show a complete model design flow of a HVAC display, which includes:
This model based flow has been developed using the E4Coder Toolbox, which provides Finite State machines, GUI Editor, and code generation for Scilab and ScicosLab.