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

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


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00661569, version 1


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



Consultations de la notice


Téléchargements de fichiers