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.
Document type :
Journal articles
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00650089
Contributor : Evelyne Faivre <>
Submitted on : Friday, December 9, 2011 - 1:58:08 PM
Last modification on : Thursday, February 7, 2019 - 5:25:49 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

247