3rd Doctoral Congress in Engineering will be held at FEUP on the 27th to 28th of June, 2019Safety-critical systems commonly face unpredictable and hostile environments, with
emergent behaviors and with a growing number of external, malicious attackers. These are
risk factors that should be taken into account during these systems design phases, but that is
not always possible due to the overall complexity of the interaction between the systems and
its external operational environment. Cyber-Physical Systems (CPS) are notable examples of
practical implementations of safety-critical systems. Being able to guarantee that safetycritical CPS do not fail upon operation can easily become a huge challenge, depending on how
complex the system is. Among the most promising approaches to reduce the complexity of
designing safety-critical CPS are Runtime Monitoring (RM) (Watterson and Heffernan 2017)
and Runtime Verification (RV) (Bartocci Et al. 2018), where monitors are generated and
orchestrated in a software architecture that can be coupled to the target system, observe it
during its execution, and identify aspects that were not foreseen during design phase, or that
could not be proved to be absent via static verification methods. Monitors can be used to
verify the correct functioning of a system by analyzing direct (and/or indirect) aspects of it.
This can be especially useful when considering a security-oriented point of view, where
monitors can identify possible security attacks to a system when exposed to the events taking
place or the patterns of data being processed.info:eu-repo/semantics/publishedVersio
