Abstract FR:

La composition des systemes temporises est source de nombreux problemes, notamment de blocage. Nous proposons un cadre de description compositionnelle des systemes temporises qui preserve la reactivite temporelle, a savoir que si le systeme ne peut reagir, alors le temps peut avancer. Nous effectuons d'abord une etude preliminaire sur la specification des evolutions temporelles dans les systemes, debouchant sur la definition de mecanismes de description adequats. Ceci nous permet de definir une classe de modeles temporises temporellement reactifs, par construction. Nous definissons sur cette classe des operateurs de choix et de composition parallele qui preservent cette propriete. En outre, les operateurs sont definis de sorte a preserver l'activite dans le sens ou si a partir d'un etat une action est possible dans un composant, alors une action est possible dans la composition. L'operateur de composition parallele respecte egalement la propriete de progres maximal grace a l'utilisation d'operateurs de choix avec priorites qui favorise les synchronisations. Un cadre general est donne pour exprimer differents modes de synchronisation, parmi lesquels on retiendra and (synchronisation classique), max (synchronisation avec attente) et min (interruption). Pour terminer, nous developpons une approche algebrique pour une sous-classe des modeles consideres.