Monitoring IVHM Systems using a Monitor-Oriented Programming Framework

From FSL
Jump to: navigation, search

Monitoring IVHM Systems using a Monitor-Oriented Programming Framework
Sudipto Ghoshal, Solaiappan Manimaran, Grigore Rosu, Traian Florin Serbanuta, and Gheorghe Stefanescu
LFM 2008
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.
PDF, Slides (PPT), LFM'08, BIB

Personal tools
Namespaces

Variants
Actions
Navigation