Skip to Main content Skip to Navigation

Méthode de conception de systèmes temps réels embarqués multi-coeurs en milieu automobile

Abstract : The increasing complexity of embedded applications in modern cars has increased the need of computing power. To meet this need, the European automotive standard AUTOSAR has introduced the use of \multicore platforms. However, \multicore platform for critical automotive applications raises several issues. In particular, it is necessary to respect the functional specification and to guarantee deterministically the data exchanges between cores. In this thesis, we consider multi-periodic systems specified and validated with \mat. So, we developed a framework to deploy \mat applications on AUTOSAR \multicore. This framework guarantees the functional and temporal determinism and exploits the parallelism. Our contribution is threefold. First, we identify the communication mechanisms in \mat. Then, we prove that the dataflow in a multi-periodic \mat system is modeled by a SDFG. The SDFG formalism is an excellent analysis tool to exploit the parallelism. In fact, it is very popular in the literature and it is widely studied for the deployment of dataflow applications on multi/many-core. Then, we develop methods to realize the dataflow expressed by the SDFG in a preemptive \rt scheduling. These methods use theoretical results on SDFGs to guarantee deterministic precedence constraints without using blocking synchronization mechanisms. As such, both the functional and temporal determinism are guaranteed. Finally, we characterize the impact of dataflow requirements on tasks. We propose a partitioning technique that minimizes this impact. We show that this technique promotes the construction of a partitioning and a feasible scheduling when it is used to initiate multi-objective research and optimization algorithms. %As such, we reduce the number of design iterations and shorten the design time.
Document type :
Complete list of metadatas

Cited literature [132 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Thursday, April 25, 2019 - 4:42:36 PM
Last modification on : Friday, May 29, 2020 - 4:02:56 PM


Version validated by the jury (STAR)


  • HAL Id : tel-02110990, version 1


Enagnon Cédric Klikpo. Méthode de conception de systèmes temps réels embarqués multi-coeurs en milieu automobile. Embedded Systems. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS033⟩. ⟨tel-02110990⟩



Record views


Files downloads