嵌入式实时软件的任务构造

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