Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées
Le langage d'analyse et de description d'architectures (AADL) fait l'objet d'un intérêt croissant dans l'industrie des systèmes embarqués tempsréel. Il définit plusieurs catégories de composants, réparties en trois grandes familles (logiciel, matériel, système). Le travail r...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00516152 http://tel.archives-ouvertes.fr/docs/00/51/61/52/PDF/thA_se_final.pdf |