Runtime monitoring with something like PObserve is a semi-formal approach. Not just regular alarming and metrics.