Synthesis of asynchronous monitors for critical electronic systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Synthesis of asynchronous monitors for critical electronic systems

Résumé

Monitors are small IPs that check critical systems, such as radio-altimeters that on-line control the landing phase in modern planes. It is essential to get correct information and avoid erroneous messages from these monitors. Asynchronous monitors are very robust to the environment variations; they remain functional in a wide range of power supplies or temperatures, and can reliably monitor synchronous circuits in a harsh environment. This paper discusses how asynchronous monitors can be modeled and generated from Property Specification Language (PSL). These monitors have been implemented and validated on a FPGA board and a CMOS 65 nm technology.
Fichier non déposé

Dates et versions

hal-00517676 , version 1 (15-09-2010)

Identifiants

Citer

A. Porcher, Katell Morin-Allory, Laurent Fesquet. Synthesis of asynchronous monitors for critical electronic systems. IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'10), Apr 2010, Vienna, Austria. pp.329 - 334, ⟨10.1109/DDECS.2010.5491756⟩. ⟨hal-00517676⟩

Collections

UGA CNRS TIMA
41 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More