SlideServe
Menu
Préférences
© SlideServe · v2026

Distributed Schedule-Carrying Code

dunbars avatar
4 diapositives · 77 Views · Jan 04, 2020

Explore Distributed Schedule-Carrying Code for static scheduling & TDMA communication, allowing independent code generation, ensuring composability, and easy component modification without impacting others.

Distributed Schedule-Carrying Code - slide 1
01 / 4Distributed Schedule-Carrying Code
1 / 17

Télécharger la présentation

Distributed Schedule-Carrying Code
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation
  1. Distributed Schedule-Carrying Code Tom Henzinger Slobodan Matic

  2. Motivation • Distributed real-time system • static scheduling, TDMA communication • Independent code generation by several developers • specifications from resource manager • Code composability • component code modification does not influence other components • check only modified code against its specification

  3. Distributing SCC Giotto SCC (segment) mode start() period 24ms { taskfreq 2 do t1(); taskfreq 2 do t2(t1); taskfreq 1 do t3(); taskfreq 3 do t4(t2,t3); } dispatch(t2,1) idle(1) call(d2) dispatch(t2,5) dispatch(t3,5)

  4. S+N Type and SCC S type N type SCC Modified SCC