Elective Temporal Logic

Abstract : In this paper we present a novel formalism for de ning properties over linear execution traces, namely elective temporal logic (ETL). Di erently from several other temporal logics, ETL is not dedicated to a speci c time model, e.g. discrete time or real time. Hence, properties can be applied to each temporal context with no changes to the speci ed formulas. Moreover, the ETL denotational semantics is given through elective functions. In this way we map formulas into the characteristic functions of a set of accepted traces, i.e. the valid executions. A further contribution of this work is an application of ETL to runtime monitoring. As a matter of fact, using a security monitor driven by an ETL formula, we can ignore irrelevant security actions performed by the guarded program reducing the monitor workload.
Type de document :
Communication dans un congrès
QoSA+ISARCS'11, Jun 2011, Boulder, Colorado, United States. 2011
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00661569
Contributeur : Ilaria Matteucci <>
Soumis le : vendredi 20 janvier 2012 - 09:40:13
Dernière modification le : vendredi 20 janvier 2012 - 09:45:23
Document(s) archivé(s) le : samedi 21 avril 2012 - 02:22:43

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00661569, version 1

Citation

Ilaria Matteucci, G. Costa. Elective Temporal Logic. QoSA+ISARCS'11, Jun 2011, Boulder, Colorado, United States. 2011. 〈hal-00661569〉

Partager

Métriques

Consultations de la notice

110

Téléchargements de fichiers

85