Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Ilaria Matteucci Connect in order to contact the contributor
Submitted on : Friday, January 20, 2012 - 9:40:13 AM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM
Long-term archiving on: : Saturday, April 21, 2012 - 2:22:43 AM


Files produced by the author(s)


  • HAL Id : hal-00661569, version 1


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



Record views


Files downloads