Vérification des applications temps réel - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2005

Vérification des applications temps réel

Abstract

Ce 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.
Fichier principal
Vignette du fichier
Section-STR-I-07-CH4.pdf (464.2 Ko) Télécharger le fichier

Dates and versions

inria-00000560 , version 1 (02-11-2005)

Identifiers

  • HAL Id : inria-00000560 , version 1

Cite

Françoise Simonot-Lion, Ye-Qiong Song, Bernard Berthomieu, François Vernadat. Vérification des applications temps réel. Jacky Akoka, Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005. ⟨inria-00000560⟩
128 View
61 Download

Share

Gmail Facebook X LinkedIn More