The document summarizes Fabio Cancare's thesis defense about modeling methodologies for dynamic reconfigurable systems. The thesis proposes a model-based design flow to implement large designs onto FPGAs with limited resources. It outlines high-level modeling and low-level implementation phases. A case study implements vision system functionality on an FPGA more efficiently using dynamic reconfiguration compared to a static system.