cocosim

Stateflow automaton compilation / Compilation d'automates Stateflow

[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.

CoCoSim: Contract-based Compositional verification of Simulink models

a Matlab Simulink toolbox to support formal specification and verification of Simulink models