Abstract : 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.
https://hal.inria.fr/inria-00371400
Contributor : Frédéric Mallet <>
Submitted on : Friday, March 27, 2009 - 4:47:49 PM Last modification on : Monday, January 4, 2021 - 7:08:03 PM Long-term archiving on: : Saturday, November 26, 2016 - 7:04:24 AM