Skip to Main content Skip to Navigation
Theses

Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar

Aurélien Monot 1, 2
1 TRIO - Real time and interoperability
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Abstract : The complexity of electronic embedded systems in cars is continuously growing. Hence, mastering the temporal behavior of such systems is paramount in order to ensure the safety and comfort of the passengers. As a consequence, the verification of end-to-end real-time constraints is a major challenge during the design phase of a car. The AUTOSAR software architecture drives us to address the verifica- tion of end-to-end real-time constraints as two independent scheduling problems respectively for electronic control units and communication buses. First, we introduce an approach, which optimizes the utilization of controllers scheduling numerous software components that is compatible with the upcoming multicore architectures. We describe fast and efficient algorithms in order to bal- ance the periodic load over time on multicore controllers by adapting and improving an existing approach used for the CAN networks. We provide theoretical result on the efficiency of the algorithms in some specific cases. Moreover, we describe how to use these algorithms in conjunction with other tasks scheduled on the controller. The remaining part of this research work addresses the problem of obtaining the response time distributions of the messages sent on a CAN network. First, we present a simulation approach based on the modelisation of clock drifts on the communicating nodes connected on the CAN network. We show that we obtain similar results with a single simulation using our approach in comparison with the legacy approach consisting in numerous short simulation runs without clock drifts. Then, we present an analytical approach in order to compute the response time distributions of the CAN frames. We introduce several approximation parameters to cope with the very high computational complexity of this approach while lim- iting the loss of accuracy. Finally, we compare experimentally the simulation and analytical approaches in order to discuss the relative advantages of each of the two approaches.
Document type :
Theses
Complete list of metadatas

Cited literature [74 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01749592
Contributor : Aurélien Monot <>
Submitted on : Sunday, December 30, 2012 - 9:21:35 AM
Last modification on : Friday, October 23, 2020 - 4:38:50 PM
Long-term archiving on: : Sunday, December 18, 2016 - 12:06:40 PM

Identifiers

  • HAL Id : tel-01749592, version 3

Citation

Aurélien Monot. Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar. Systèmes embarqués. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0384⟩. ⟨tel-01749592v3⟩

Share

Metrics

Record views

592

Files downloads

1473