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

Résumé : Cet 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.
Type de document :
Article dans une revue
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2011, 45 (1-3), pp.93-108. 〈10.3166/jesa.45.93-108〉
Liste complète des métadonnées

https://hal-supelec.archives-ouvertes.fr/hal-00650089
Contributeur : Evelyne Faivre <>
Soumis le : vendredi 9 décembre 2011 - 13:58:08
Dernière modification le : samedi 6 février 2016 - 01:09:20

Identifiants

Collections

Citation

Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet. Sur le délai de séparabilité dans des systèmes synchrones. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2011, 45 (1-3), pp.93-108. 〈10.3166/jesa.45.93-108〉. 〈hal-00650089〉

Partager

Métriques

Consultations de la notice

92