Formal Modeling of Process Migration

This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a group of processors modeled as finite state machines. The model is motivated by a migration application between software and Field Programmable Gate Array (FPGA) hardware, and the theorems of the model guide the use of FPGA resources while guaranteeing complete and correct execution of a process. By defining different types of migration realms this paper also develops a migration realm taxonomy.

• Type: Conference
• Year: 2007
• Where: FPL
• Authors: Aric D. Blumer, Henning S. Mortveit, Cameron D. Patterson
• Keywords: FPL 2007, Hardware, Migration Realm, Migration Realm Taxonomy, Process Migration