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: | Lohr, Christophe |
---|---|
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 |
Similar Items
-
Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS
by: Sadani, Tarek
Published: (2007) -
Conception basée modèle des systèmes temps réel et distribués
by: De Saqui-Sannes, Pierre
Published: (2005) -
Extension temps réel d'AltaRica
by: Pagetti, Claire
Published: (2004) -
Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
by: Le Berre, Tanguy
Published: (2010) -
Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML
by: Fontan, Benjamin
Published: (2008)