Compositional model-driven design of embedded code for energy-efficient buildings

In embedded software development, model-driven design is well recognized. In this article we describe a compositional model-driven approach for auto-generating embedded code for improving the energy efficiency of building automation applications. We show how we can use a componentbased hybrid-systems modelling framework to generate models for simulation and verification. Then, we auto-generate embeddable code from these models. We empirically demonstrate this approach using the hybrid-systems tool Charon, for the domain of energy-efficient lighting control for smart buildings. The paper provides a detailed description of the code generation steps and outlines some results obtained through a simple lighting example.