Towards Distributed Runtime Monitoring with C++ Contracts
Rolf Schmedes, Philipp Ittershagen, Kim Grüttner · 2019
Design by Contract supports the specification of the intended behavior of a software component at its interfaces. Out of these specifications, runtime monitors can be generated. While those runtime monitors check the correct behavior of the software component, they are usually executed on the same processor as the monitored software and therefore prone against the same possible hardware failures.