Prototypage rapide de logiciel pour les systèmes avioniques. Approches orientées modèle pour la certification de systèmes complexes