When making use of monitors in critical systems, it must be ensured that they neither negatively influence the security aspects of the original system nor affect the functional and the safety non-functional requirements of the system (e.g., task scheduling). Guaranteeing that the deployment of such solutions does not negatively influence the dependability properties of systems can be overly complicated and time-consuming when no proper integration methods are used.

To abstract the formalities of correctly integrating monitoring architectures in the target system and reduce the steep learning curve associated with the usage of formal specification languages, which is common with Runtime Verification (RV) based on formal specifications, we propose a new domain specific language (and associated tools) named MARS. MARS will let developers focus what needs to be monitored instead of worrying about how to safely integrate such monitoring solutions to their target systems.

To achieve that, MARS will allow users to associate RV specifications with the components of a target system, providing support for a timing analysis over the combined system coupled with the instrumented monitors. MARS will ensure compliance with timeliness requirements and will support the generation of monitors from the formal specifications following a correct-by-construction approach. The generated monitors will be coupled with the target system via a runtime monitoring architecture that will link the interfaces of the system with those of the generated monitors.