Vérification des applications temps réel

National audienceCe chapitre présente les moyens usuellement disponibles pour vérifier qu'un système temps réel respecte les propriétés qui lui sont imposées. Ceci recouvre des techniques de vérification qui reposent sur des modèles mathématiquement analysables de manière exhaustive ou partielle. Les garanties exigées quant au respect des contraintes pouvant être de nature déterministe ou probabiliste, nous proposons des techniques pour ces deux types d'objectifs