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 plus en plus de...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2012INPT0033/document |