SAIA: Un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporelles
Du fait de leur complexité croissante, le développement des systèmes embarqués et temps réel nécessitent conjointement l'application de principes de génie logiciel et l'application de techniques formelles. Le travail développé pendant cette thèse propose une approche et des outils basés su...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
INSA de Lyon
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00239261 http://tel.archives-ouvertes.fr/docs/00/23/92/61/PDF/Ma_these.pdf |