chess

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.