Timed Automata Semantics of Spatio-Temporal Consistency Language STeC

Yuanrui Zhang 1, 2 Frédéric Mallet 1, * Yixiang Chen 2
* Auteur correspondant
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Intelligent Transportation Systems (ITS) are a class of quickly evolving modern safety-critical embedded systems. Dealing with their growing complexity demands a high-level formal modeling language along with adequate verification techniques. STeC has recently been introduced as a process algebra that deals natively with both spatial and temporal properties. Even though STeC has the right expressive power, it does not provide a direct tooled support for verification. We propose to encode STeC specifications as Timed Automata to provide such a support and we illustrate our transformation strategy on a simple example.
Type de document :
Communication dans un congrès
International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsa, China. IEEE Computer Society, pp.201-208, <10.1109/TASE.2014.10>


https://hal.inria.fr/hal-01096687
Contributeur : Frédéric Mallet <>
Soumis le : jeudi 18 décembre 2014 - 06:14:30
Dernière modification le : lundi 5 octobre 2015 - 16:59:52

Identifiants

Collections

Citation

Yuanrui Zhang, Frédéric Mallet, Yixiang Chen. Timed Automata Semantics of Spatio-Temporal Consistency Language STeC. International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsa, China. IEEE Computer Society, pp.201-208, <10.1109/TASE.2014.10>. <hal-01096687>

Partager

Métriques

Consultations de la notice

147