Un Profil Uml/maude Pour Les Systèmes Embarqués
2019
Mémoire de Master
Informatique

Université Larbi Ben M'hidi - Om-el-bouaghi

D
Djelloul, Maroua
M
Mérouani, Hamza

Résumé: De nos jours, les systèmes embarqués sont devenus de plus en plus très répandus à cause de leur omniprésence dans plusieurs domaines (avionique, automobile, ferroviaire, nucléaire, médicale, etc.). Ces systèmes sont caractérisés par leurs aspects critiques, réactifs et dynamiques très strictes ce qui rend leur conception une tâche très délicate. Pour cette raison le processus de développement des systèmes embarqués doit suivre une démarche rigoureuse basée sur une sémantique formelle pour consolider la description structurelle des composants de ces systèmes et évaluer au plus tôt leur comportement.

Mots-clès:

système embarqué
langage de modélisation
diagramme de structure composite
spécification maude
système abs
Nos services universitaires et académiques

Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).

Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!

Comment ça marche?
Nouveau
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".


footer.description

Le Moteur de recherche des thèses, mémoires et rapports soutenus en Algérie

Doctorat - Magister - Master - Ingéniorat - Licence - PFE - Articles - Rapports


©2025 Thèses-Algérie - Tous Droits Réservés
Powered by Abysoft