The aim of this chapter is to act as a primer for those wanting to learn about Runtime
Verification (RV). We start by providing an overview of the main specification languages …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …

Abstract Evaluation of scientific contributions can be done in many different ways. For the
various research communities working on the verification of systems (software, hardware, or …

The MonPoly Monitoring Tool Page 1 Kalpa Publications in Computing Volume 3, 2017, Pages
19–28 RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks …

Abstract Runtime Monitoring or Verification deals with traces. In its most simple form a
monitoring system takes a trace produced by a system and a specification of correct …

This tool paper presents E-ACSL, a runtime verification tool for C programs capable of
checking a broad range of safety and security properties expressed using a formal …

Very early runtime verification systems focused on monitoring what we can refer to as
propositional events: just names of events. For this, finite state machines, standard regular …

This chapter describes how to use in-the-field runtime techniques to improve the
dependability of software systems. In particular, we first present an overall vision of the …

We define two complementary approaches to monitor decentralized systems. The first relies
on those with a centralized specification, ie, when the specification is written for the behavior …