基于模型的设计方法能缩小从软件功能模型到任务模型的差距。用模型转换的方法构造实时任务，从软件设计模型的组件变换为进程/线程可执行的任务。该方法适用于嵌入式软件设计。在模型中考虑时序一致性的问题，绝对时序一致性能保证数据的有效期，对时序一致性能保证数据的可用性。
