Environnement de développement d’applications multipériodiques sur plateforme multicoeur. : La boîte à outils SchedMCore
Les logiciels embarqués critiques de contrôle-commande sont soumis à des contraintes fortes englobant le déterminisme, la correction logique et la correction temporelle. Nous supposons que les spécifications sont exprimées à l'aide du langage formel de description d'architectures logiciell...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2012ESAE0011/document |