Un Profil UML/Maude pour les systèmes embarqués
No Thumbnail Available
Date
2019
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Université Oum El Bouaghi
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.
Description
Keywords
Système embarqué, Langage de modélisation, Diagramme de structure composite, Spécification Maude, Système ABS