CoSMIC

Component Synthesis with Model Integrated Computing (CoSMIC)

CoSMIC是支持一系列模型整合计算（MIC）和OMG的模型驱动架构（MDA）的一系列工具。因为很多的非功能性方面能够通过以组件元数据的方式来定义和实现，因此CoSMIC可以很容易并且很正确地实现这些非功能性需求，而不必去过多担心分布式实时嵌入系统非功能性代码正确性的验证问题。