A Proposition for Computing System Design Automaticity and Correctness Potential
TimeTuesday, July 12th6pm - 7pm PDT
LocationLevel 2 Lobby
DescriptionReasoning 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, we present a proposition for the potentiality for a design method to be automated to correctly produce an implementation. We do this by using the concept Model of Design (MoD) to capture system design methodologies.