Runtime Monitor Framework for Ada