Les modèles et outils des SystèmesSystèmes`Systèmesà Evénéments Discrets (SED) ont montré leur apport et leur efficacité pour la modélisation et la résolution deprobì emes d'ordonnancement dans le domaine des systèmes manufacturiers de production. Leur principal atout réside dans leur capacitécapacité`capacitéà appréhender naturellement les dynamiques sous-jacentes aux ressources de production ainsi que les logiques de configuration des ateliers (Job-shop, Flow-shop, Open-shop, hybrides...). De plus, les extensions stochastiques des modèles de SED offrent d'intéressantes perspectives pour la prise en compte de l'incertain en ordonnancement : incertitudes sur les ressources (durée opératoires, aléas de fonctionnement, pannes...) mais aussi sur la de-mande (variabilité importante des produits, personnalisation de masse...). L'objectif de cet article est de démontrer la faisabilité d'une approche basée sur les automates tem-porisés stochastiques et sur des techniques de model-checking statistique pourévaluerpourévaluer la robustesse d'un ordonnancement facè a des aléas en se restreignant, dans le cadre de cettécetté etude, aux incertitudes sur les durées opératoires.