Overview

CoCoSim is a modular, integrated analysis framework for Simulink(c) models.

Note:
The user 'guest' (passwd: 'oneraguest') can be used to file a bug report or access read-only section of the Forge.

CoCoSim is a collaborative project between ONERA, NASA Ames, CMU and ENSEEIHT. It aims at providing a toolchain in order to go from Matlab/Simulink model to verified Lustre/Prelude source code.
The NASA reference repository is on GitHub: https://github.com/coco-team/cocoSim.
The ONERA repository https://git.onera.fr/cocosim

A presentation of the code generation simulation tools is available on https://forge.onera.fr/documents/217 (connection as guest user is needed).