Hardware verification of modern electronic systems has been identified as a major
bottleneck due to the increasing complexity and time-to-market constraints. One of the major …

The first international Competition on Runtime Verification (CRV) was held in September
2014, in Toronto, Canada, as a satellite event of the 14th international conference on …

In this book we present a number of techniques leading to the automated generation of
checker circuits from modern hardware assertion languages. Today, verification takes over …

Due to the heterogeneity and complexity of systems-of-systems (SoS), their simulation is
becoming very time consuming, expensive and hence impractical. As a result, design …

An essential part of cyber-physical systems is the online evaluation of real-time data
streams. Especially in systems that are intrinsically safety-critical, a dedicated monitoring …

Assertion-based verification (ABV) is emerging as a paramount technique for industrial-
strength hardware verification, especially through the emerging property specification …

We show how the requirements of the SENT communication protocol between a magnetic
sensor and an electronic control unit (ECU) can be monitored in real time, with a monitor …

Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the
correctness of complex systems, including cyber-physical systems (CPSs). Modern RV tools …

We describe a general approach for defining new temporal specification languages, and
adopting existing languages, for SystemC. We define the concept of" underlying trace" …

Monitoring temporal SystemC properties is crucial for the validation of functional and
transaction-level models, yet the current SystemC standard provides no support for temporal …