SYNTHESIS OF PROPERTY MONITORS FOR ONLINE FAULT DETECTION
Katell Morin-Allory, Eric Gascard, D. Borrione · Journal of Circuits Systems and Computers · 2007
An original method for generating components that capture the occurrence of events is proposed, and logical and temporal properties of hardware/software embedded systems are monitored. The properties are written in PSL, under the form of assertions in declarative form. The method includes the construction of a library of primitive digital components for the PSL temporal and sequence operators. These building blocks are interconnected to construct complex properties, resulting in a synthesizable digital module that can be properly linked to the digital system under scrutiny.