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.
Type de document :
Communication dans un congrès
Real-Time and Embedded Technology and Application Symposium RTAS, Apr 2016, Vienna, Austria. IEEE, pp.1-10, 2016, 〈10.1109/RTAS.2016.7461343〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01358061
Contributeur : Alix Munier-Kordon <>
Soumis le : mardi 30 août 2016 - 21:52:57
Dernière modification le : jeudi 22 novembre 2018 - 14:33:01

Identifiants

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〉

Partager

Métriques

Consultations de la notice

145