Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques

Résumé : L’importance des systèmes temps-réels embarqués dans les sociétés industrialisées modernes en font un terrain d’application privilégié pour les méthodes formelles. La prépondérance des contraintes temporelles dans les spécifications de ces systèmes motive la mise au point de solutions spécifiques. Cette thèse s’intéresse à une classe de systèmes temps-réels incluant ceux développés avec la chaîne d’outils OASIS, développée au CEA LIST. Nos travaux portent sur la notion de délai de bout-en-bout, que nous proposons de modéliser comme une contrainte temporelle concernant l’influence du flot d’informations des entrées sur celui des sorties. Afin de répondre à la complexité croissante des systèmes temps-réels, nous étudions l’applicabilité de cette notion nouvelle au développement incrémental par raffinement et par composition. Le raffinement est abordé sous l’angle de la conservation de propriétés garantes de la correction du système au cours du processus de développement. Nous délimitons les conditions nécessaires et suffisantes à la conservation du délai de bout-en-bout lors d’un tel processus. De même, nous donnons des conditions suffisantes pour permettre le calcul du délai de bout-en-bout de manière compositionnelle. Combinés, ces résultats permettent d’établir un formalisme permettant la preuve du délai de bout-en-bout lors d’une démarche de développement incrémentale.
Type de document :
Thèse
Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. 〈NNT : 2012PA112018〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00676901
Contributeur : Abes Star <>
Soumis le : mardi 6 mars 2012 - 16:22:16
Dernière modification le : jeudi 22 juin 2017 - 14:09:26
Document(s) archivé(s) le : vendredi 23 novembre 2012 - 15:55:42

Fichier

VD2_GARNIER_ILIAS_10022012.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00676901, version 1

Collections

STAR | CEA | DRT

Citation

Ilias Garnier. Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques. Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. 〈NNT : 2012PA112018〉. 〈tel-00676901〉

Partager

Métriques

Consultations de la notice

558

Téléchargements de fichiers

527