Instrumenting inline runtime monitoring in Elixir

Abstract

Elixir is a concurrent, dynamically typed language for which ensuring program correctness can be a challenge. Due to its lack of static analysis tools and incompatibility with model based testing due to state‐explosion, effective options for validating Elixir programs can be limited. Runtime monitoring is one such option as it allows a program’s correctness to be decided by dynamically analyzing said program during its execution. In this final year project, I will present a solution for asynchronous inline runtime monitoring in Elixir and assess its feasibility. This will be done by building upon detectEr, an existing monitoring framework for Erlang, to add inline monitoring support for Elixir and evaluating if the final artifact is sufficiently functional and efficient for use in Elixir systems.