On the reaction time of some synchronous systems

This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such systems under some classic composition primitives is studied. Reaction time is shown to be non-compositional in general. Possible solutions are proposed, and applications to verification are discussed. This framework is illustrated by some examples issued from studies on real-time embedded systems.Comment: In Proceedings ICE 2011, arXiv:1108.014

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