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.
Domaines
Informatique ubiquitaire
Origine : Fichiers produits par l'(les) auteur(s)