This works is in keeping with the extension of Z so as to deal with the speciication and design of real-time safety-critical systems. The Z speciication language has been found useful for specifying large commercial systems, but is weak in its ability to deal with complex features of real-time systems such as concurrency, synchronization between processes… (More)
This paper describes the design and implementation of a low-cost multi-mode control for an irrigation system built around a personal computer (PC). The system uses in-situ soil water potential measurements, the weather condition parameters and the set points data provided by the user to decide when and how much water to apply to the irrigated field. The… (More)
The drastic advances in semiconductor technology in the last decade have made field programmable logic devices (FPLDs) with tens of millions gates common place integrated logic circuits. To allow designers to cope and use these high density FPLDs (densities are still growing) and associated increasingly sophisticated computer-aided engineering (CAE) logic… (More)
Ce document, tir e d'un rapport du projet COMPLEMENT, traite de la mesure des m etriques de taul erance aux fautes et techniques d` evaluation associ ees.