|Researchers:||Bicheng William Wu|
|Advisor:||Edward A. Lee|
The goal of this project is to design a similiar domain, but in the Ptolemy II framework. The emphasis is on choosing a deterministic semantics, and developing an interface standard for external tools.
The selected model of computation (MoC) for DFM is the timed-Process Network (PN) model, where processes in a network communicate through a set of single-input single-output FIFO channels. Writes to the channels are non blocking, while reads are blocking. This model ensures determinacy while allowing for parallel execution. Time is used as an additional control.
DFM will uses the PN semantics to support the following tasks, all of which are common in a design flow:
* Efficient flow execution. Run a tool only if the inputs and/or parameters have changed.
* Flow control. Some part of design flow is only run when a condition is met, for example, an if statement.
* Convergence. Some part of design flow need to be run repeatedly for some number of iterations or until a condition is met, like "for" and "while" loop.
These tasks can be handled by adding message tags onto tokens. These messages are additional conditions, processed by a tool block, along with input data and parameters to determine whether the tool can be executed.
Another part of this project is devoted to defining common interfaces for tools. There will be three classes of tools: internal Ptolemy tools, tools exist on the same file system, and distributed tool objects on the internet. Design data, files, and directory management will also be addressed in this project.