Skip to Main content Skip to Navigation
Book sections

Vérification des applications temps réel

Françoise Simonot-Lion 1 Ye-Qiong Song 1 Bernard Berthomieu 2 François Vernadat 2
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : 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.
Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/inria-00000560
Contributor : Françoise Simonot-Lion <>
Submitted on : Wednesday, November 2, 2005 - 6:20:56 PM
Last modification on : Tuesday, March 16, 2021 - 5:42:05 PM
Long-term archiving on: : Friday, April 2, 2010 - 6:19:47 PM

Identifiers

  • HAL Id : inria-00000560, version 1

Citation

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⟩

Share

Metrics

Record views

272

Files downloads

194