Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2)

Dominique Cansell 1 Dominique Méry 1, * Joris Rehm 1
* Auteur correspondant
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ce livrable est un rapport sur l'intégration de contraintes temporelles dans les modèles Event-B. Nous entendons par contraintes temporelles, les propriétés que possède, ou que l'on veut imposer à, un système, par rapport à son déroulement dans le temps. On parle aussi de propriétés temps- réel. Les systèmes seront en particulier des systèmes distribués, en effet : mis à part une mesure de la performance, les propriétés temps-réel ne sont utiles que si l'on s'intéresse à un ensemble de systèmes fonctionnant de manière concurrente ou distribuée. Nous allons donc étudier des systèmes dynamiques, qu'ils soient logiciels ou matériels, les définir et démontrer des propriétés, en particulier temps-réel, sur ces modèles.
Type de document :
Rapport
[Rapport de recherche] 2008
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00593372
Contributeur : Dominique Méry <>
Soumis le : samedi 14 mai 2011 - 14:42:31
Dernière modification le : jeudi 11 janvier 2018 - 06:23:25
Document(s) archivé(s) le : vendredi 9 novembre 2012 - 11:30:19

Fichier

RIMEL_Livrable_2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00593372, version 1

Collections

Citation

Dominique Cansell, Dominique Méry, Joris Rehm. Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2). [Rapport de recherche] 2008. 〈inria-00593372〉

Partager

Métriques

Consultations de la notice

171

Téléchargements de fichiers

90