The general aim of the project, which is led by Luca Aceto (Reykjavik
University and Gran Sasso Science Institute), Adrian Francalanza
(University of Malta) and Anna Ingolfsdottir (Reykjavik University),
is to develop further the theoretical foundations of monitorability
for fragments of variants of Hennessy-Milner logic with
recursion/modal mu-calculus.
The project work will build on the
RV 2015
paper by the co-proposers, and on the experience developed during
their previous work on runtime verification and on the tool
detectEr. The
goals of the project will be:

to explore more stringent conditions for detection than the ones considered in the RV 2015 paper and study whether this has any effect on the monitorable subset of the logic;

to investigate the monitorability of the logic with respect
to instrumentation set-ups other than the one used in the RV 2015 paper;

to extend our results from the RV 2015 paper to the setting of real-time systems, modelled as timed automata, and to a real-time variant of Hennessy-Milner Logic with recursion;

to understand how existing notions of monitorability relate to the one formulated in the RV 2015 paper, thereby consolidating disparate concepts of monitorability;

to investigate extensions to monitorability that incorporate notions
of enforceability; and

to apply the results of the theoretical work in the construction of a prototype software tool for the runtime analysis of systems.

Adrian
Francalanza. A
Theory of Monitors. Proceedings of Foundations of Software Science
and Computation Structures, Volume 9634 of the series Lecture Notes in
Computer Science, pp. 145-161, Springer-Verlag, April 2016.

Luca Aceto and David de Frutos
Escrig. Foreword
for the special issue of Acta Informatica devoted to selected papers
from CONCUR 2015. Acta Informatica, Springer, February 2017. The official published version can be freely viewed here.