Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées
La construction d'une application répartie fait en général intervenir une couche logicielle particulière, appelée intergiciel, qui prend en charge la transmission des données entre les différents noeuds de l'application. La conception d'applications pour les systèmes embarqués temps-r...
| Main Author: | |
|---|---|
| Published: |
Télécom ParisTech
2006
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00002122 http://pastel.archives-ouvertes.fr/docs/00/50/03/46/PDF/these_thomas_vergnaud.pdf |