基于模型的设计及嵌入式实现