.. Reproduire-un-scénario-pire-cas, 76 3.3.3 Temps de réponse observé versus scénario pire cas, p.78

.. Des-trames, Visualisation des résultats sous forme de fonction de répartition des temps de réponse, p.101

.. Contexte-de-l-'étude, 144 B.2.2 Les pires temps d'exécution, 145 B.2.4 Structure de aiT, p.146

C. Sommaire and .. Introduction, 164 C.1.1 Dispositifs ou procédés existants, p.164

. Une-première-possibilité-consiste-À-choisir-aléatoirement, T_Retard comme dans le cas des retransmissions sur les réseaux CSMA/CD ce qui augmente l'équité dans l'accès au bus pour les messages de même importance On peut de plus faire ce choix dans un intervalle min et max prédéfini Une deuxième possibilité consiste à incrémenter la variable " T_Retard " d'une valeur T_Retard " est initialisée à 0 au réveil du contrôleur et est incrémenté à chaque fois qu'un encombrement est détecté pour essayer de s'en dégager. Cependant, on veut éviter d'augmenter indéfiniment le retard des messages émis car cela augmenterait indéfiniment leurs temps de réponses et nuirait à la réactivité générale du système.. Pour cela, il est recommandé de définir une valeur seuil

B. Demande-de, N° 1155109 déposée le 10.06.2011. ? Dispositif de résolution d'encombrement au sein d'un réseau de communication , par introduction d'un décalage temporel lords de la transmission d'un message, puis lors de la production des messages suivants à transmettre

B. Demande-de, N° 1155111 déposée le 10.06.2011. ? Dispositif de résolution d'encombrement au sein d'un réseau de communication , par recalage temporel global des instants de production de bits des message des organes communicants

B. Demande-de, N° 1155112 déposée le 10.06.2011. ? Dispositif de détection d'encombrement d'un réseau de communication, par analyse de temps d'attente de messages périodiques devant être transmis par un organe communicant 182

. Bibliographie, TIMMO-2-USE project web page

B. Bavoux, F. A. Simonot-lion, N. Monot, and . Navet, Multi-source software on multicore automotive ECUs -Combining runnable sequencing with task scheduling, IEEE Transaction on industrial electronics, vol.59, pp.3934-3942, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00646043

M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions, American Journal of Physics, vol.34, issue.2, 1970.
DOI : 10.1119/1.1972842

A. Bavoux, B. Monot, and N. Navet, Dispositif de détection d'encombrement d'un réseau de communication, par analyse de temps d'attente de messages périodiques devant être transmis par un organe communicant, 2011.

A. Bavoux, B. Monot, and N. Navet, Dispositif de résolution d'encombrement au sein d'un réseau de communication, par introduction d'un décalage temporel lords de la transmission d'un message, puis lors de la production des messages suivants à transmettre, 2011.

A. Bavoux, B. Monot, and N. Navet, Dispositif de résolution d'encombrement au sein d'un réseau de communication, par recalage temporel global des instants de production de bits des message des organes communicants, 2011.

C. Aussagues and D. Roux, An OS for multicore embedded systems compliant with automotive safety standards, IAEC'09, 2009.

A. Consortium, Specification of multi-core OS architecture v1, 2009.

S. Baruah, D. Chen, and A. Mok, Static-priority scheduling of multiframe tasks, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, pp.38-45, 1999.
DOI : 10.1109/EMRTS.1999.777448

A. Burchard, J. Liebeherr, Y. Oh, and S. H. Son, New strategies for assigning real-time tasks to multiprocessor systems, IEEE Transactions on Computers, vol.44, issue.12, pp.1429-1442, 1995.
DOI : 10.1109/12.477248

L. Chen and A. Avizienis, N-Version Proggraming : a fault tolerance approach to reliability of software operation, Symposium on Fault-Tolerant Computing -FTCS, 1995.

R. L. Cruz, A calculus for network delay. I. Network elements in isolation, IEEE Transactions on Information Theory, vol.37, issue.1, pp.114-131, 2006.
DOI : 10.1109/18.61109

R. L. Cruz, A calculus for network delay. II. Network analysis, IEEE Transactions on Information Theory, vol.37, issue.1, pp.132-141, 2006.
DOI : 10.1109/18.61110

R. I. Davis, S. Kollmann, V. Pollex, and F. Slomka, Controller Area Network (CAN) Schedulability Analysis with FIFO Queues, 2011 23rd Euromicro Conference on Real-Time Systems, pp.45-56, 2011.
DOI : 10.1109/ECRTS.2011.13

R. I. Davis, A. Burns, R. J. Bril, and J. J. Lukkien, Controller Area Network (CAN) schedulability analysis : Refuted, revisited and revised. Real-Time Systems, pp.239-272, 2007.

M. D. Biasi, C. Snickars, K. Landernas, and A. Isaksson, Simulation of Process Control with WirelessHART Networks Subject to Clock Drift, 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp.1355-1360, 2008.
DOI : 10.1109/COMPSAC.2008.163

J. L. Diaz, D. F. Garcia, K. Kim, C. Lee, L. Lo-bello et al., Stochastic analysis of periodic real-time systems, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., pp.289-300, 2002.
DOI : 10.1109/REAL.2002.1181583

K. Mark and . Gardner, Probabilistic Analysis And Scheduling Of Critical Soft Real- Time Systems, 1999.

J. Goossens, Scheduling of offset free systems, Real-Time Systems, vol.24, issue.2, pp.239-258, 2003.
DOI : 10.1023/A:1021782503695
URL : https://hal.archives-ouvertes.fr/inria-00083863

J. Goossens and R. Devillers, The non-optimality of the monotonic priority assignmentsfor hard real-time offset free systems, Real-Time Systems, vol.13, issue.2, pp.107-126, 1997.
DOI : 10.1023/A:1007980022314

M. Grenier, L. Havet, and N. Navet, Pushing the limits of CAN -scheduling frames with offsets provides a major performance boost, European Congress of Embedded Real-Time Software, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00273946

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis -the symta/s approach, IEE Proceedings Computers and Digital Techniques, 2005.

I. Lee and I. Shin, Compositional real-time scheduling framework with periodic model, ACM Transactions on Embedded Computing Systems, 2008.

. Inchron, chronSIM : a Real-Time simulator

. Inchron, Inchron Tool-Suite

F. Larsson, P. Pettersson-w, . J. Yi, K. G. Bengtsson, and . Larsen, Uppaal -a tool suite for automatic verification of real-time systems, 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995.

J. Clark and K. Tindell, Holistic schedulability analysis for distributed hard realtime systems. Microprocessors & Microprogramming, pp.117-134, 1994.

A. Karrenbauer and T. Rothvoss, An Average-Case Analysis for Rate-Monotonic Multiprocessor Real-Time Scheduling, 17th Annual European Symposium on Algorithms (ESA), 2009.
DOI : 10.1007/978-3-642-04128-0_39

D. A. Khan, R. J. Bril, and N. Navet, Integrating hardware limitations in CAN schedulability analysis, 2010 IEEE International Workshop on Factory Communication Systems Proceedings, pp.207-210, 2010.
DOI : 10.1109/WFCS.2010.5548604
URL : https://hal.archives-ouvertes.fr/inria-00542635

D. A. Khan, N. Navet, B. Bavoux, and J. Migge, Aperiodic traffic in response time analyses with adjustable safety level, 2009 IEEE Conference on Emerging Technologies & Factory Automation, 2009.
DOI : 10.1109/ETFA.2009.5347149
URL : https://hal.archives-ouvertes.fr/inria-00437221

D. Khan, R. Davis, and N. Navet, Schedulability analysis of CAN with non-abortable transmission requests, ETFA2011, 2011.
DOI : 10.1109/ETFA.2011.6058998
URL : https://hal.archives-ouvertes.fr/hal-00644298

H. M. Jan, E. H. Korst, J. K. Aarts, and . Lenstra, Scheduling periodic tasks with slack, INFORMS Journal on Computing, vol.9, issue.4, pp.351-362, 1997.

S. Lauzac, R. Melhem, and D. Mossé, An improved rate-monotonic admission control and its applications, IEEE Transactions on Computers, vol.52, issue.3, pp.337-350, 2003.
DOI : 10.1109/TC.2003.1183948

J. María-lópez, J. Luis-díaz, J. Entrialgo, and D. García, Stochastic analysis of real-time systems under preemptive priority-driven scheduling . Real-Time Syst, pp.180-207, 2008.

J. Migge, M. Boyer, and N. Navet, An Efficient and Simple Class of Function to Model Arrival Curve of Packetised Flows, First International Workshop on Worst-Case Traversal Time (WCTT), 2011.

M. Marouf, L. George, and Y. Sorel, Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), p.12, 2012.
DOI : 10.1109/ETFA.2012.6489569
URL : https://hal.archives-ouvertes.fr/hal-00737917

S. Martin, P. Minet, and L. George, The Trajectory Approach for the End-to-End Response Times with Non-preemptive FP/EDF*, Software Engineering Research and Applications, pp.229-247, 2006.
DOI : 10.1007/11668855_17

P. Meumeu-yomsi, D. Bertrand, N. Navet, and R. Davis, Controller Area Network (CAN) : Response Time Analysis with Offsets, 9th IEEE International Workshop on Factory Communication System, p.2012, 2012.

J. Migge, Timing Analysis of Real-Time Scheduling Policies : A Trajectory Based Model, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073122

A. Mok and D. Chen, A multiframe model for real-time tasks, pp.635-645, 1996.

A. Monot, N. Navet, and B. Bavoux, Impact of clock drifts on CAN frame response time distributions, ETFA2011, 2011.
DOI : 10.1109/ETFA.2011.6059186
URL : https://hal.archives-ouvertes.fr/hal-00643314

A. Monot, N. Navet, B. Bavoux, and C. Maxim, Fine-grained Simulation in the Design of Automotive Communication Systems, Embedded Real Time Software and Systems (ERTSS'2012), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00767046

A. Monot, N. Navet, B. Bavoux, and F. Simonot-lion, Multicore scheduling in automotive ECUs, Embedded Real Time Software and Systems (ERTSS'2010), 2010.
URL : https://hal.archives-ouvertes.fr/inria-00543179

M. Nahas, M. J. Pont, and M. Short, Reducing message-length variations in resource-constrained embedded systems implemented using the Controller Area Network (CAN) protocol, Journal of Systems Architecture, vol.55, issue.5-6, pp.344-354, 2009.
DOI : 10.1016/j.sysarc.2009.03.004

N. Navet, B. Delord, and M. Baumeister, Virtualization in automotive embedded systems : an outlook. Seminar at RTS Embedded Systems, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00551505

N. Navet, A. Monot, B. Bavoux, and F. Simonot-lion, Multi-source and multicore automotive ECUs - OS protection mechanisms and scheduling, 2010 IEEE International Symposium on Industrial Electronics, 2010.
DOI : 10.1109/ISIE.2010.5637677
URL : https://hal.archives-ouvertes.fr/inria-00543183

N. Navet, A. Monot, and J. Migge, Frame latency evaluation : when simulation and analysis alone are not enough, 8th IEEE International Workshop on Factory Communication Systems (WFCS2010), Industry Day, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00551506

N. Navet and H. Perrault, Mécanismes de protection dans AUTOSAR OS. Seminar at RTS Embedded Systems, 2009.

N. Navet and H. S. Son, Performance and fault tolerance of real-time applications distributed over CAN (Controller Area Network), CiA-CAN in Automation, 1997.

N. Navet, Y. Song, and F. Simonot, Worst-case deadline failure probability in real-time applications distributed over controller area network, Journal of Systems Architecture, vol.46, issue.7, pp.607-617, 2000.
DOI : 10.1016/S1383-7621(99)00016-8
URL : https://hal.archives-ouvertes.fr/inria-00099080

N. Navet and Y. Song, Design of Reliable Real-Time Applications Distributed over CAN (Controller Area Network), INCOM98, IFAC 9th Symposium on Information Control in Manufacturing, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00098455

T. Nolte, H. Hansson, and C. Norström, Probabilistic worstcase response-time analysis for the Controller Area Network, the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '03), 2003.

Y. Oh and H. S. Son, Tight performance bounds of heuristics for a real-time scheduling problem, 1993.

Y. Oh and S. H. Son, Fixed-priority scheduling of periodic tasks on multiprocessor systems, 1995.

O. Group, OSEK/VDX Operating System Specification

. Realtime, NETCAR-Analyzer : a CAN analysis tool, 2009.

. Realtime, NETCAR-ECU : a task scheduling configuration tool, 2009.

. Realtime, RTAW-Sim : a CAN simulation tool, 2009.

O. Redell and M. Törngren, Calculating exact worst case response times for static priority scheduled tasks with offsets and jitter, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium, 2002.
DOI : 10.1109/RTTAS.2002.1137391

M. Negrean, K. Richter, -. Ernst, S. Schliecker, and J. Rox, System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp.979-992, 2009.

. Symtavision and . Symta, S : a Real-Time analysis tool. available at https: //symtavision

K. Tindell, A. Burns, and A. J. Wellings, Calculating controller area network (can) message response times, Control Engineering Practice, vol.3, issue.8, pp.1163-1169, 1995.
DOI : 10.1016/0967-0661(95)00112-8

H. Zeng, M. D. Natale, P. Giusto, and A. L. Sangiovanni-vincentelli, Stochastic Analysis of CAN-Based Real-Time Automotive Systems, IEEE Transactions on Industrial Informatics, vol.5, issue.4, pp.388-401, 2009.
DOI : 10.1109/TII.2009.2032067

H. Zeng, M. D. Natale, P. Giusto, and A. L. Sangiovanni-vincentelli, Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network, IEEE Transactions on Industrial Informatics, vol.6, issue.4, pp.678-691, 2010.
DOI : 10.1109/TII.2010.2050143

A. Zuhily and A. Burns, Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks, pp.410-424, 2008.
DOI : 10.1007/978-3-540-85762-4_28

A. Zuhily and A. Burns, Exact scheduling analysis of non-accumulatively monotonic multiframe tasks, 16th International Conference on Real-Time and Networked Systems, 2008.
DOI : 10.1007/s11241-009-9085-6
URL : https://hal.archives-ouvertes.fr/inria-00336464