Nous etudions la modelisation et la validation hors-ligne des applications temps-reel en environnement monoprocesseur, et considerons l'echange des messages, le partage des ressources et les instructions conditionnelles entre les taches. Classiquement, ces applications sont modelisees de facon lineaire, en encapsulant les blocs conditionnels, et les sequences sont utilisees pour leur validation. Nous proposons une approche de modelisation et de validation arborescente, qui permet de considerer de facon explicite les blocs conditionnels, et qui utilise les arbres d'ordonnancement pour la validation. Nous comparons ensuite ces deux approches, et prouvons que les premieres sont parfois trop pessimistes, c'est a dire qu'elles peuvent conduire a declarer certaines applications comme non ordonnancables, alors qu'en realite elles le sont. Nous commencons par construire un generateur d'arbres d'ordonnancement valides. La complexite du generateur etant exponentielle en fonction du nombre de taches, nous proposons une approche basee sur les reseaux de Petri. La construction du graphe des marquages fournira les ordonnancement et les heuristiques seront utilisees pour reduire la complexite."