Les systèmes informatiques sont de plus en plus présents de nos jours sous formes des différents appareils. Ces derniers notés des systèmes embarqués. Un standard pour représenter de tels systèmes est le formalisme RecDEVS ...