Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar
Les systèmes électroniques embarqués dans les véhicules ont une complexité sans cesse croissante. Cependant, il est crucial d'en maîtriser le comportement temporel afin de garantir la sécurité ainsi que le confort des passagers. La vérifica- tion des contraintes temporelles de bout-en-bout est...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Lorraine
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00767128 http://tel.archives-ouvertes.fr/docs/00/76/92/33/PDF/Memoire.pdf |