marte是omg针对嵌入式领域的新规范。为嵌入式系统提供分功能属性的支持,提供调度方面的分析。