Flexible Framework for Real-Time Embedded Systems Based on Mobile Cloud Computing Paradigm

Table 1

Function definitions.

Name	Definition
Start	Start: Γ → ∧
Delay	Delay: Γ × ∧ → ℝ^+
Data	Data: Γ → ℝ^2+
Net	Net: ∧^2 × ℝ^2+ → ℝ