Timed Automata Semantics of Spatio-Temporal Consistency Language STeC - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Timed Automata Semantics of Spatio-Temporal Consistency Language STeC

Résumé

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.
Fichier principal
Vignette du fichier
TASE_2014.pdf (367.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01096687 , version 1 (21-04-2019)

Identifiants

Citer

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. pp.201-208, ⟨10.1109/TASE.2014.10⟩. ⟨hal-01096687⟩
170 Consultations
98 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More