Statistical abstraction and model-checking of large heterogeneous systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2010

Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu
  • Fonction : Auteur
Saddek Bensalem
Marius Bozga
Axel Legay
  • Fonction : Auteur
  • PersonId : 861400

Résumé

We propose a new simulation-based technique for verifying applications running within a large heterogeneous system. Our technique starts by performing simulations of the system in order to learn the context in which the application is used. Then, it creates a stochastic abstraction for the application, which takes the context information into account. This smaller model can be verified using efficient techniques such as statistical model checking. We have applied our technique to an industrial case study: the cabin communication system of an airplane. We use the BIP toolset to model and simulate the system. We have conducted experiments to verify the clock synchronization protocol i.e., the application used to synchronize the clocks of all computing devices within the system.
Fichier principal
Vignette du fichier
RR-7238.pdf (372.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00466158 , version 1 (22-03-2010)

Identifiants

  • HAL Id : inria-00466158 , version 1

Citer

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, et al.. Statistical abstraction and model-checking of large heterogeneous systems. [Research Report] RR-7238, INRIA. 2010. ⟨inria-00466158⟩
380 Consultations
536 Téléchargements

Partager

Gmail Facebook X LinkedIn More