Abstract. We describe a runtime verification approach to increase the safety of IVHM systems by an integration of TEAMS models and Monitor-Oriented Programming (MOP). The TEAMS model is used to automatically extract relevant runtime information from the controlled system by means of events. This information is passed online to the MOP engine, allowing to verify complex temporal properties and to discover running patterns which are of interest in detecting and preventing faulty behaviors.