Reasoning about the correctness and automation of embedded computing system design across different methodologies is challenging due to the absence of a unifying view of the design problems involved. In this paper, our contribution is describing the necessary conditions for the potentiality of a design method to be automated and correctly produce an implementation. We do this by using the model of design (MoD) framework to capture essential design methodology properties.