Danfoss EKC Trial Project Deliverables

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


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 a 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.

Full Text:


DOI: http://dx.doi.org/10.7146/brics.v10i48.21820
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.

ISSN: 0909-0878 

Hosted by the Royal Danish Library and Aarhus University Library