Sur le délai de séparabilité dans des systèmes synchrones - CentraleSupélec Access content directly
Journal Articles Journal Européen des Systèmes Automatisés (JESA) Year : 2011

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

Abstract

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.

Dates and versions

hal-00650089 , version 1 (09-12-2011)

Identifiers

Cite

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), 2011, 45 (1-3), pp.93-108. ⟨10.3166/jesa.45.93-108⟩. ⟨hal-00650089⟩
71 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More