Alain Griffault
YOU?
Author Swipe
View article: The Mec 5 model-checker
The Mec 5 model-checker Open
We present in this article the features of the model-checker we have developed: Mec 5. This tool makes it possible to handle mod-els written in the AltaRica language and is characterized by the great expressiveness of its specification log…
View article: Model-based diagnosis for avionics systems using minimal cuts
Model-based diagnosis for avionics systems using minimal cuts Open
International audience
View article: Symbolic computation of minimal cuts for AltaRica models
Symbolic computation of minimal cuts for AltaRica models Open
65 pages
View article: On the partial translation of Lustre programs into the AltaRica language and vice versa
On the partial translation of Lustre programs into the AltaRica language and vice versa Open
Lustre (1984) and AltaRica (2000) are two languages used to describe critical systems. The first one is a data-flow programming language; and its main purpose is the writing of formally verified programs implemented on embedded hardware. T…
View article: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects Open
Osteocalcin is a bone-specific protein whose concentration in blood is a direct reflection of bone turnover. In chronic renal failure, circulating osteocalcin is elevated. This elevation is due to decreased renal clearance and, in some pat…