Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes
Une séparation existe de longue date entre les domaines de la compilation et de l'ordonnancement temps-réel. Si ces deux domaines ont le même objectif - la construction d'implantations correctes - la séparation se justifie historiquement par des différences significatives entre les modèles...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr en |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2014PA066392/document |