Synthesis of property monitors for online fault detection

Katell Morin-Allory (1) , E. Gascard (1) , D. Borrione (1)

1 TIMA - Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés

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.

Mots clés: PSL; hardware

Domaines: Micro et nanotechnologies/Microélectronique

Katell Morin-Allory, E. Gascard, D. Borrione. Synthesis of property monitors for online fault detection. Journal of Circuits, Systems, and Computers, 2007, 16 (6), pp.943 - 960. ⟨10.1142/S0218126607004088⟩. ⟨hal-00419356⟩