Rétro-ingénierie des plateformes pour le déploiement des applications temps-réel
Les travaux présentés dans cette thèse s’inscrivent dans le cadre du développement logiciel des systèmes temps réel embarqués. Nous définissons dans ce travail une méthodologie nommée DRIM. Cette méthodologie permet de guider le déploiement des applications temps réel sur différents RTOS en suivant...
Main Author: | Mzid, Rania |
---|---|
Other Authors: | Brest |
Language: | fr |
Published: |
2014
|
Subjects: | |
Online Access: | http://www.theses.fr/2014BRES0065/document |
Similar Items
-
Une méthode globale pour la vérification d’exigences temps réel : application à l’avionique modulaire intégrée
by: Lauer, Michaël
Published: (2012) -
Architecture et Services des Intergiciels Temps Réel
by: Hugues, Jerome
Published: (2005) -
Implémentation rigoureuse des systèmes temps-réels
by: Abdellatif, Tesnim
Published: (2012) -
Property driven verification framework : application to real time property for UML MARTE software design
by: Ge, Ning
Published: (2014) -
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
by: Chkouri, Mohamed Yassin
Published: (2010)