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

关键词: 嵌入式软件设计, 基于模型的设计, 模型转换, 任务构造, 时序一致性

Abstract: Model-based approach alleviates the discrepancies between software functional models and the implementation by automatically transforming models. Constructing real-time tasks, or operating system-level processes/threads, from the components of software design models is crucial to the model-based development of embedded control software. Temporal consistency is considered in the model, the absolute temporal consistency ensures the data is valid, and the relative temporal consistency ensures the data is available.

Key words: embedded software design, model-based design, model transformation, task construction, temporal consistency

中图分类号: 

• TP27