Coopération

Séminaires


< retour aux séminaires

MUNTEAN T. (Prof.), CNRS (TIMA) & Univ. de la Médtiterranée

Theme: Global Communicating Systems (A distributed refinement design model)
Date: Vendredi 15 décembre 2000

Biography

Traian MUNTEAN, professeur à l’Université de la Méditerranée à Marseille-Luminy, est actuellement détaché Directeur de Recherche au CNRS à Grenoble dans le laboratoire TIMA. Avant d’être nommé à Marseille en 1994, il avait créé à l’IMAG, dès le début des années 80, l’équipe “Systèmes Massivement Parallèles et Applications” qui a proposé et a contribué à plusieurs projets européens importants dans le domaine du parallélisme (e.g. “Supernode” dans le cadre duquel a été conçu et réalisé dès 1985 le premier calculateur parallèle reconfigurable d’un millier de processeurs). Ses principaux domaines d’intérêt sont liés à la communication et au parallélisme dans les systèmes informatiques complexes : modèles de contrôle de la concurrence, algorithmique et architecture systèmes, construction correcte ds systèmes communicants et noyaux pour machines virtuelles, mobilité et routage dans les réseaux.

Abstract

Communication is the basic and main aspect one has to deal with when designing concurrent systems. One can specify interactions between objects/processes/components from several points of view: synchronous/asynchronous, point-to-point message/signals exchange protocols or memory access …. The theory behind one-to-one exchanges is today well-established and several formal approaches have been developed for the last twenty years (Hoare, Milner, Roscoe, Henessy and many others). On the other hand, more complex and higher level, global or group/cluster, broadcast-like, communication schemes are encountered in many concurrent systems and programming models. We stress and emphasise that models for global communication and interactions are to be efficiently considered as generic and basic exchange schemes for the construction of many concurrent and communicating next generation systems. This talk will show that models of interaction based on global communication can be more appropriate and useful when designing complex, reconfigurable communicating systems. The model presented for the construction of such systems, emphasises on stepwise refinement and its advantages for the correctness of the design, when compared to “a posteriori” proofs. It will be presented by using a similar formalism to the one used, for instance, in Abrial’s B Method.