Sur le délai de séparabilité dans des systèmes synchrones

National audienceCet article présente une étude du délai de séparabilité dans certains systèmes synchrones. La séparabilité correspond à l'observation d'une dépendance fonctionnelle entre une sortie et une entrée. Une description de ces systèmes comme machines à états est donnée, et leur délai de séparabilité sous l'opération de composition séquentielle est étudié. Le délai de séparabilité est montré non compositionnel en général. Une solution est proposée, et nous discutons de possibles applications à la vérification automatique. Nos travaux sont illustrés par des exemples tirés du domaine des systèmes temps réel embarqués