Augmented Erlang-based Semantic Operating System