Danfoss EKC Trial Project Deliverables

Authors

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

DOI:

https://doi.org/10.7146/brics.v10i48.21820

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

Downloads

Published

2003-12-07

How to Cite

Larsen, K. G., Larsen, U., Nielsen, B., Skou, A., & Wasowski, A. (2003). Danfoss EKC Trial Project Deliverables. BRICS Report Series, 10(48). https://doi.org/10.7146/brics.v10i48.21820