Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel
La prise en compte de la complexité croissante des systèmes embarqués temps réel, le besoin de formalisation du processus de développement, les contraintes inhérentes de ces systèmes (ressources limitées et spécifiques, prédictibilité, correction) font qu'il est nécessaire de pouvoir disposer d...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
INSA de Lyon
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00502510 http://tel.archives-ouvertes.fr/docs/00/50/25/10/PDF/hdr.pdf |