s'authentifier
version française rss feed

inria-00124252, version 1

Concurrency in Synchronous Systems

Dumitru Potop-Butucaru () a1, Benoit Caillaud () a1, Albert Benveniste () a1

Formal Methods in System Design 28, 2 (2006) 111-130

Résumé : In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of correct-by-construction communication protocols for globally asynchronous, locally synchronous (GALS) systems. The independence between various computations can be exploited here to provide communication schemes that do not restrict concurrency while still guaranteeing correctness. Such communication schemes are then lighter and more flexible than their latency-insensitive or endo/isochronous counterparts.

  • a –  INRIA
  • 1 :  S4 (INRIA - IRISA)
  • CNRS : UMR6074 – INRIA – INSA Rennes – Université de Rennes 1
  • Domaine : Informatique/Calcul parallèle, distribué et partagé
    Informatique/Systèmes embarqués
    Informatique/Génie logiciel
 
  • inria-00124252, version 1
  • oai:hal.inria.fr:inria-00124252
  • Contributeur : 
  • Soumis le : Jeudi 1 Mars 2007, 16:58:49
  • Dernière modification le : Lundi 12 Mars 2007, 11:06:19
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...