[Stage pourvu.] L'objectif de ce stage est d'étudier différentes méthodes ou schémas de compilation des automates dans CocoSim. CocoSim est un outil NASA intégré à Simulink qui permet la vérification et la compilation de modèle Stateflow et Simulink en lustre et en C.