Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos
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...
Main Author: | |
---|---|
Language: | FRE |
Published: |
Institut National Polytechnique de Toulouse - INPT
2002
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00005228 http://tel.archives-ouvertes.fr/docs/00/04/64/44/PDF/tel-00005228.pdf |