Design space exploration for cyber physical system design using constraint solving

When designing power restricted or power aware cyber physical systems it is important to get an early estimation of the overall power consumption of the system. Such an estimation helps the designer of the system by selecting the best suited components such as the processor, the buses or the sensors. We present an approach - implemented in a tool - for static design space exploration for cyber physical systems taking functional and non-functional properties like power consumption and timing correctness into account. Our approach is based on a declarative modeling of the system and its properties using constraint solving techniques to generate from these models admissible system configuration alternatives. The applicability of our method is demonstrated by means of a real world example.