Dealing with AADL End-to-end Flow Latency with UML MARTE - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2008

Dealing with AADL End-to-end Flow Latency with UML MARTE

Résumé

AADL et MARTE sont deux formalismes qui supportent l'analyse de systèmes temps-réel embarqués. Nous avons étudié la capacité de MARTE, et notamment de son modèle de temps, à représenter fidèlement les mécanismes de communications fournis par AADL. Nous nous sommes intéressés plus particulièrement à son mécanisme de tâches périodiques et apériodiques communicantes au travers de port d'événements, de données ou mixte. Cette étude est appliquée à un exemple d'analyse de latence de bout en bout qui est un cas d'étude classique utilisé par AADL.
Fichier principal
Vignette du fichier
RR-FlowLatency.pdf (592.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00200834 , version 1 (21-12-2007)
inria-00200834 , version 2 (04-01-2008)
inria-00200834 , version 3 (04-01-2008)
inria-00200834 , version 4 (25-03-2008)
inria-00200834 , version 5 (27-03-2008)

Identifiants

  • HAL Id : inria-00200834 , version 1

Citer

Su-Young Lee, Frédéric Mallet, Robert de Simone. Dealing with AADL End-to-end Flow Latency with UML MARTE. [Research Report] RR-6402, 2008, pp.20. ⟨inria-00200834v1⟩
408 Consultations
655 Téléchargements

Partager

Gmail Facebook X LinkedIn More