Specifying and monitoring non-functional properties

  title={Specifying and monitoring non-functional properties},
  author={Slim Kallel},
This thesis focuses on the implementation and the control of non-functional safety properties during system execution. More concretely, it describes the development process of such properties, starting with the formal specification, the verification, and the runtime enforcement of the specified properties to avoid any undesired behavior. This thesis starts by studying and classifying the approaches on the specification and runtime verification of non-functional safety properties. When examining… CONTINUE READING