Contribution à l'analyse des systèmes pilotés par calculateurs : extraction de scénarios redoutés et vérification de contraintes temporelles
Lintégration progressive de lélectronique dans les secteurs automobile et avionique a amélioré le confort et les services rendus. Toutefois, cela a complexifié la conception des systèmes pilotés par calculateurs (systèmes mécatroniques, calculateurs de vol, etc.), ce qui rend difficile la maîtrise d...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paul Sabatier - Toulouse III
2006
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00082568 http://tel.archives-ouvertes.fr/docs/00/08/25/68/PDF/these-Malika-Medjoudj.pdf |