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
2 LAAS - Laboratoire d'analyse et d'architecture des systèmes
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.
Mots-clés : vérification temps réel garantie déterministe garantie probabiliste
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

Files

Vignette du document
Section-STR-I-07-CH4.pdf

Identifiers

  • HAL Id : inria-00000560, version 1

Collections

INRIA | CNRS | LAAS-VERTICS | UNIV-TLSE3 | LAAS-INFORMATIQUE-CRITIQUE | LAAS | LORIA | UNIV-LORRAINE | INSA-TOULOUSE | INSA-GROUPE | INSA-TOULOUSE-GEI | UT1-CAPITOLE | UNIV-TLSE2

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

272

Files downloads

194

 

Contact                    Legal Notice                    Personal Data