In view of non-scalable model checking, non-exhaustive testing, and
complex software systems, runtime monitoring offers an additional
layer of security, enabling error detection and correction at runtime.
Runtime monitoring involves the specification and synthesis of
software properties into automatically instrumentable monitors. The
drawback of employing software monitors is the overhead they induce,
possibly leading to undesirable effects such as slowed down software.
Although impossible to eliminate, overheads can be reduced or
controlled by for example obtaining guarantees on their size and
effects. Overheads can also be substantially reduced by
desynchronising the monitor from the system and synchronising only
upon an error detection. These techniques aim at making the use of
runtime monitoring less intrusive and more practical, encouraging its
use in critical software.
Christian is an assistant lecturer and a PhD student at the University
of Malta with a number of published papers in the area of runtime
verification. In his research, he has developed a monitoring tool
called Larva and applied it to an industrial Java system handling
financial transactions. In particular, he has been focusing on
techniques to limit the side-effects of monitoring. Recently, he has
worked on a national research project involving the application of
monitoring techniques to industrial financial systems with
compensating transactions. Currently, he is working on extending the
theory of compensating monitoring and applying monitoring to other
technologies such as Erlang.
For more information please visit
Visit the CESCA Seminar Calendar for upcoming talks: cesca.centers.vt.edu/events.php