On Implementing Symbolic Controllability - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

On Implementing Symbolic Controllability

Adrian Francalanza
  • Function : Author
  • PersonId : 1024624
Jasmine Xuereb
  • Function : Author
  • PersonId : 1103683


Runtime Monitors observe the execution of a system with the aim of reaching a verdict about it. One property that is expected of monitors is consistent verdict detections; this property was characterised in prior work via a symbolic analysis called symbolic controllability. This paper explores whether the proposed symbolic analysis lends itself well to the construction of a tool that checks monitors for this deterministic behaviour. We implement a prototype that automates this symbolic analysis, and establish complexity upper bounds for the algorithm used. We also consider a number of optimisations for the implemented prototype, and assess the potential gains against benchmark monitors.
Fichier principal
Vignette du fichier
495623_1_En_22_Chapter.pdf (551.39 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03273999 , version 1 (29-06-2021)





Adrian Francalanza, Jasmine Xuereb. On Implementing Symbolic Controllability. 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.350-369, ⟨10.1007/978-3-030-50029-0_22⟩. ⟨hal-03273999⟩
25 View
4 Download



Gmail Facebook X LinkedIn More