Un Profil UML/Maude pour les systèmes embarqués
dc.contributor.author | Djelloul, Maroua | |
dc.contributor.author | Mérouani, Hamza | |
dc.date.accessioned | 2020-01-04T23:51:31Z | |
dc.date.available | 2020-01-04T23:51:31Z | |
dc.date.issued | 2019 | |
dc.description.abstract | 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. | ar |
dc.identifier.uri | http://hdl.handle.net/123456789/8817 | |
dc.language.iso | fr | ar |
dc.publisher | Université Oum El Bouaghi | ar |
dc.subject | Système embarqué | ar |
dc.subject | Langage de modélisation | ar |
dc.subject | Diagramme de structure composite | ar |
dc.subject | Spécification Maude | ar |
dc.subject | Système ABS | ar |
dc.title | Un Profil UML/Maude pour les systèmes embarqués | ar |
dc.type | Other | ar |