Methodology for a model based timing analysis process for automotive systems.
Aujourd'hui, les applications automobiles sont devenues de plus en plus complexes avec des ressources limitées et plus de contraintes de temps et de safety. La vérification temporelle est effectuée très tard aujourd'hui au cours du processus de développement automobile (après l'implém...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université Paris Sud - Paris XI
2011
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00647906 http://tel.archives-ouvertes.fr/docs/00/64/79/06/PDF/VA2_ANSSI_SAOUSSEN_09112011.pdf |