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 MalletConnect in order to contact the contributor Submitted on : Friday, March 27, 2009 - 4:47:49 PM Last modification on : Friday, January 21, 2022 - 3:16:14 AM Long-term archiving on: : Saturday, November 26, 2016 - 7:04:24 AM