The iterative and incremental nature of software development using models typically makes a model system incomplete (i.e., partial) until more advanced complete stage is reached. Existing execution approaches (interpretation or code generation) do not support the partial models. Supporting at early stages allows detection defects, which can be fixed easily lower cost. This paper proposes concep...

The ever-rising computation demand is forcing the move from CPU to heterogeneous specialized hardware, which readily available across modern datacenters through disaggregated infrastructure. On other hand, trusted execution environments (TEEs), one of most promising recent developments in hardware security, can only protect code confined CPU, limiting TEEs’ potential and applicability a handful...