Danfoss EKC Trial Project Deliverables

Kim G. Larsen
Ulrik Larsen
Brian Nielsen
Arne Skou
Andrzej Wasowski

December 2003

Abstract:

This report documents the results of the Danfoss EKC trial project on model based development using IAR visualState. We present a formal state-model of an refrigeration controller based on a specification given by Danfoss. We report results on modeling, verification, simulation, and code-generation. It is found that the IAR visualState is a promising tool for this application domain, but that improvements must be done to code-generation and automatic test generation.

Available as PostScript, PDF.

Last modified: 2004-02-11 by webmaster.