Une méthode globale pour la vérification d'exigences temps réel : application à l'Avionique Modulaire Intégrée
Dans le domaine de l'aéronautique, les systèmes embarqués ont fait leur apparition durant les années 60, lorsque les équipements analogiques ont commencé à être remplacés par leurs équivalents numériques. Dès lors, l'engouement suscité par les progrès de l'informatique fut tel que de...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Institut National Polytechnique de Toulouse - INPT
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00714502 http://tel.archives-ouvertes.fr/docs/00/71/45/02/PDF/Manuscrit_Michael_Lauer_Finale.pdf |