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 |