Modeling Multi-Periodic Simulink Systems by Synchronous Dataflow Graphs

Abstract : The increasing complexity of embedded applications in modern cars has increased the need of computational power. To meet this requirement the European automotive standard AUTOSAR has introduced the use of multi-core platforms in it version 4.x. In the industry, the applications are often designed and validated by high level models such as Matlab/Simulink before being implemented on AUTOSAR. However, passing from a Simulink synchronous model to a multi-core AUTOSAR implementation is not trivial. In this paper, we present an approach to model formally the synchronous semantic of any multi-periodic Simulink system by Synchronous Dataflow Graph. Our model is constructed on a formal equivalence between the data dependencies imposed by the communication mechanisms in Simulink and the precedence constraints of a synchronous dataflow graph. The resulting graph is equivalent in size to the Simulink description and allows multi/many-core accurate implementation analysis.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01358061
Contributor : Alix Munier-Kordon <>
Submitted on : Tuesday, August 30, 2016 - 9:52:57 PM
Last modification on : Thursday, March 21, 2019 - 2:18:37 PM

Identifiers

Citation

Enagnon Cedric Klikpo, Jad Khatib, Alix Munier-Kordon. Modeling Multi-Periodic Simulink Systems by Synchronous Dataflow Graphs. Real-Time and Embedded Technology and Application Symposium RTAS, Apr 2016, Vienna, Austria. IEEE, pp.1-10, 2016, 〈10.1109/RTAS.2016.7461343〉. 〈hal-01358061〉

Share

Metrics

Record views

165