Modélisation UML d'un régulateur de vitesse automobile

Dans le developpement des systemes embarques temps reel, le couplage des approches semi-formelles et formelles reste complexe, tant par la diversite des langages utilisables que par les approches methodologiques possibles. En outre, il est encore reproche aux approches formelles d'etre difficiles d'utilisation par des industriels. Afin d'illustrer les progres de ces approches et leur relative facilite d'emplois par des industriels, un meme cas d'etude sera traite par differentes approches formelles. Cet article, premier d'une serie, introduit le cas d'etude d'un systeme de regulation de vitesse automobile. Cette presentation s'appuie sur une modelisation semi-formelle. Cette modelisation, de type SysML/UML nous semble assez representative des pratiques industrielles du domaine. L'objectif est ainsi de fournir un premier modele commun en entree des differentes approches formelles qui seront presentees dans les articles suivants.