Djelloul, MarouaMérouani, Hamza2020-01-042020-01-042019http://hdl.handle.net/123456789/8817De 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.frSystème embarquéLangage de modélisationDiagramme de structure compositeSpécification MaudeSystème ABSOther