Contribution à la conception de systèmes temps-réel : utilisation de la technique de description formelle RT-Lotos - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2010

Contribution à la conception de systèmes temps-réel : utilisation de la technique de description formelle RT-Lotos

Christophe Lohr

Résumé

Cet ouvrage s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie présente le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. La deuxième partie étudie la notion de cohérence temporelle et propose une technique basée sur l'analyse du graphe des régions ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos. Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.
Fichier non déposé

Dates et versions

hal-01759103 , version 1 (05-04-2018)

Identifiants

  • HAL Id : hal-01759103 , version 1

Citer

Christophe Lohr. Contribution à la conception de systèmes temps-réel : utilisation de la technique de description formelle RT-Lotos. Éditions universitaires européennes, pp.204, 2010, 978-613-1-534. ⟨hal-01759103⟩
44 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More