Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos

Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos

Show other versions (1)

Ce mémoire de thèse 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 concur...

Full description

Bibliographic Details
Main Author: Lohr, Christophe
Language:FRE
Published: Institut National Polytechnique de Toulouse - INPT 2002
Subjects:
[INFO:INFO_NI] Computer Science/Networking and Telecommunication
[INFO:INFO_SE] Computer Science/Software Engineering
systèmes temps-réel
méthodes formelles
RT-Lotos
automates temporisés
cohérence temporelle
graphe d'accessibilité
UML
validation
Online Access:http://tel.archives-ouvertes.fr/tel-00005228
http://tel.archives-ouvertes.fr/docs/00/04/64/44/PDF/tel-00005228.pdf

Internet

http://tel.archives-ouvertes.fr/tel-00005228
http://tel.archives-ouvertes.fr/docs/00/04/64/44/PDF/tel-00005228.pdf

Similar Items