Explore projects

Eclipse Hawk is a heterogeneous model indexing framework: it indexes collections of models transparently and incrementally into a NoSQL database, which can be queried in a more efficient and convenient manner. https://eclipse.org/hawk/

Common libraries, helpers, and wrappers used in the regular development of APIs at the Eclipse Foundation. This helps standardize operations and make downstream fixes easier.

The CHESS project provides a model-driven, component-based methodology and tool support for the development of high-integrity systems for different domains. The methodology is particularly suited for space systems and industrial domains.

The CHESS project provides a model-driven, component-based methodology and tool support for the development of high-integrity systems for different domains. The methodology is particularly suited for space systems and industrial domains.

Eclipse ESCET project main repository.

Ice Project Main repo

Ice Project Main repo

Comma project

Trace4cps project

Titan project

Titan TestPorts IPL4asp