Dynamic contracts for verification and enforcement of real-time systems properties

The area of research in formal methods for the development of software has been the focus of steadily increasing efforts. In particular, static analysis, and static verification, of software is becoming widespread. Nevertheless, and con-sidering the important domain of real-time and embedded systems, still immense work needs to be done, especially on runtime verification techniques, which is a counterpart of static verification. There is still an enormous lack of verification techniques and tools for real-time systems, not only due to their complexity but also because of their specific characteristics, which are generally hard to verify. The proposed work will address this area, proposing an alternative and complement approach. This pre-thesis thus provides a brief characterization of the work background, necessary to understand the existent challenges and some potential research directions. This document also provides some conclusions, and, lastly, the research activities which will be undertaken in the work and