Þekkingarrökfræði fyrir dreifða vöktun - verkefni lokið

Fréttatilkynning verkefnisstjóra


Runtime verification (RV) is a technique that uses monitors to verify a specification as a system runs, by processing the events generated during the system execution. We gave a concrete theory of monitorability and its limits, in the classical case when monitors have fixed memory in the form of states, such as a finite automaton. 

We showed that there are different plausible notions of monotorability and different kinds of specifications one can use. All of these results in different properties and capabilities for the monitors. 

The results give a foundation for further research into monitors and monitorability. We continue our research in more involved and pragmatic settings. Currently, our work is being implemented into RV tools that allow one to verify Erlang programs at runtime, using more and more powerful specifications, and with clear properties and capabilities. 

We produced fourteen publications and a part of a new prototype tool that can construct monitors from very general specifications (publication pending). We have a solid theory of monitorability for the classical setting of regular properties of systems and of systems executions. 

Heiti verkefnis: Þekkingarrökfræði fyrir dreifða vöktun / Epistemic Logic for Distributed
Verkefnisstjóri: Antonios Achilleos, Háskólanum í Reykjavík
Tegund styrks: Nýdoktorastyrkur
Styrktímabil: 2018-2020
Fjárhæð styrks: 29,987 millj. kr. alls
Tilvísunarnúmer Rannís: 184940

Þetta vefsvæði byggir á Eplica