Dealing with AADL End-to-end Flow Latency with UML MARTE
Résumé
AADL and MARTE are both modeling formalisms supporting the analysis of real-time embedded systems. We investigate how MARTE, with its Time Model facilities, can be made to represent faithfully AADL periodic/aperiodic tasks communicating through event or data ports, in an approach to end-to-end flow latency analysis.
Domaines
Informatique ubiquitaire
Origine : Fichiers produits par l'(les) auteur(s)
Loading...