I. Mise-en-÷uvre-posix-sur-xenomai and .. , 122 III.1 Choix du système d'exploitation temps réel 124 III.3 Évaluation des coûts de mise en ÷uvre, p.129

I. Observation and .. De-scénarios-d-'exécution, 132 IV.1 Principes et réalisation de l'outil d'observation interne, 134 IV.3 Récupération et traitement des données . . . . . . . . . . . . . . . . . 134

. Dans-notre-cas, notre objectif n'est pas d'observer une application en particulier, mais plutôt d'étudier le résultat produit par nos techniques de mise en ÷uvre. Une solution serait de synthétiser un ensemble de processus qui n'a pour seul objectif que d'observer comment l

. Cependant, observation présenté par [Reg02] ne prend pas en compte toutes les instructions temporelles que nous utilisons dans nos techniques de mise en ÷uvre. De plus les traces d'exécution produites ne suivent pas notre formalisation des scénarios d'exécution. D'où la nécessité de réaliser un outil d'observation qui prend en compte à la fois notre modèle de tâche

. En, unité de discrétisation doit être susamment grande pour que l'observateur puisse enregistrer deux évènnements successifs e 1 et e 2 qui surviennent à des dates d 1 et d 2 . Nous reviendrons sur l'unité de discrétisation dans la section IV

. An-d-'éviter-le-risque-de-noyade, eau des galeries est drainée vers l'extérieur par une pompe. Pour éviter que la pompe ne fonctionne à tout instant, un niveau maximal d'eau à ne pas dépasser est déni. Dès que le niveau de l'eau atteint le niveau maximal, la pompe se met en marche. De même, un niveau minimal est déni pour que la pompe s'arrête dès

. Cette-alerte-est-d, autant plus nécessaire que lorsque le taux de méthane est supérieur à la limite, la pompe est arrêtée (pour éviter une éventuelle explosion dûe à la chaleur dégagée par la pompe)

. Il-est-donc-nécessaire-que-l, application : accède aux données renvoyées par les capteurs (HLS, LLS, MS) à travers la primitive Lire_Ressource des ressources matérielles ; accède aux actionneurs (Terminal, Moteur) pour indiquer une commande à travers la primitive Ecrire_Ressource ; stocke les valeurs reçues des capteurs

. Nous-utilisons-le-découpage-fonctionnel-suivant, une fonction f 1 pour l'acquisition des données du capteur de méthane ; une fonction f 2 pour l'acquisition des données des capteurs d'eau ; une fonction f 3 pour commander la pompe ; une fonction f 4 pour l'achage de l'alerte sur le terminal

. Bibliographie, Ieee standard test access port and boundary scan architecture, IEEE Std, vol.93801, 1149.

C. Neil, A. Audsley, . Burns, I. Robert, K. W. Davis et al., Fixed priority pre-emptive scheduling : An historical perspective. Real-Time Systems, p.173198, 1995.

N. [. Altman and . Weiderman, Timing variation in dual loop benchmark, ACM SIGAda Ada Letters, vol.VIII, issue.3, p.98106, 1988.
DOI : 10.1145/44772.44778

B. [. Beauquier and . Bérard, Systèmes d'exploitation -Concepts et algorithmes, 1990.

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, p.6483, 2003.
DOI : 10.1109/JPROC.2002.805826

[. Boussinot, R. De, and S. , The SL synchronous language, IEEE Transactions on Software Engineering, vol.22, issue.4, p.256266, 1996.
DOI : 10.1109/32.491649

URL : https://hal.archives-ouvertes.fr/inria-00074168

[. Beauvais, Etude d'algorithmes de placement de taches temps réel périodiques complexes dans un système réparti, 1996.

[. Berry, The esterel v5 language primer -version v5.91, 2000.

W. Blacher, Le temps réel Master's thesis, Ecole Nationale, 2000.

]. A. Blm-+-07, A. Barbalace, G. Luchetta, M. Manduchi, A. Moro et al., Performance comparison of vxworks, linux, rtai and xenomai in a hard real-time application, Real-Time Conference, pp.15-15, 2007.

[. Baskiyar and N. Meghanathan, A survey of contemporary realtime operating systems, Informatica (Slovenia), vol.29, issue.2, p.233240, 2005.

[. Boussinot, Reactive C: An extension of C to program reactive systems, Software: Practice and Experience, vol.21, issue.4, p.401428, 1991.
DOI : 10.1002/spe.4380210406

R. Kenneth, Z. Baker, and . Su, Sequencing with due-dates and early start times to minimize maximum tardiness, Naval Research Logistics Quarterly, vol.21, issue.1, p.171176, 1974.

A. [. Baker and . Shaw, The cyclic executive model and ada, Real-Time Systems, vol.1, issue.1, p.725, 1989.

A. Volker-barthelmann, E. Schedl, T. Dilger, B. Führer, J. Hedenetz et al., Osek/vdx time-triggered operating system 1.0, 2001.

A. Burns, Real-Time Systems and Their Programming Languages, 1990.

A. Burns, Advances in real-time systems. chapter Preemptive Priority-based Scheduling : An Appropriate Engineering Approach, p.225248, 1995.

G. C. Buttazzo, Hard Real-time Computing Systems : Predictable Scheduling Algorithms and Applications, 1997.
DOI : 10.1007/0-387-27578-9

F. Cottet and E. Grolleau, Systèmes temps réel de contrôlecommande, 2005.

[. Chauvière and D. Geniet, Une approche markovienne pour l'??tude de syst??mes temps-r??el ?? contraintes strictes, Techniques et sciences informatiques, vol.26, issue.10, p.12691303, 2007.
DOI : 10.3166/tsi.26.1269-1303

A. Choquet-geniet and E. Grolleau, Minimal schedulability interval for real-time systems of periodic tasks with osets. Theoretical computer science [cod] Codetest embedded software test and analysis tools, p.117134, 2004.

M. Adam, G. Costello, and . Varghese, Redesigning the bsd timer facilities [dACMdA + 08 A coloured petri net based approach for estimating execution time and energy consumption in embedded systems, Proceedings of the 21st annual symposium on Integrated circuits and system design, pp.883896-134139, 1998.

L. Michael, G. Dertouzosdfp01-]-radu-dobrin, P. P. Fohler, and . Puschner, Control robotics : The procedural control of physical processes Translating o-line schedules into task attributes for xed priority scheduling, Proceedings of IFIP Congress (IFIP'74) Real-Time Systems Symposium Proceedings. 22nd IEEE, pp.807813-225234, 1974.

R. Raymond, J. Devillers, E. David, S. Grolleau, and . Constantin, Liu and layland's schedulability test revisited Plateforme d'expérimentation pour l'ordonnancement des applications temps réel à contraintes strictes Pajé, an interactive visualization tool for tuning multi-threaded parallel applications, Real Time Systems (RTS 02), pp.157161-3346, 2000.

L. Michael, A. K. Dertouzos, and . Mok, Multiprocessor online scheduling of hard-real-time tasks [DOR10] François DORIN. Contributions à l'ordonnancement et l'analyse des systèmes temps réel critiques ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique, 2010. [EMF] Eclipse modeling framework (emf) project. http ://www.eclipse.org/modeling/emf/. [ET10a] Jean-Pierre Elloy and Yvon Trinquet. Systèmes d'exploitation temps réel exemples d'exécutifs industriels. Techniques de l'ingénieur Supervision des systèmes industriels, (ref. article : s8052), ref. article : s8050), pp.1497-1506, 1989.

A. Fagot, Réexécution déterministe pour un modèle procédural parallèle basé sur les processus légers, 1997.

P. Ficheux and P. Kadionik, Li- nux et le temps réel. reloaded, 2006.

J. Simon-fürst, S. Mössinger, T. Bunzel, F. Weber, P. Kirschke-biller et al., Autosara worldwide standard is on the road, 14th International VDI Congress Electronic Systems for Vehicles, 2009.

M. Franke, A quantitative comparison of realtime linux solutions, 2007.

A. Grolleau and . Choquet-geniet, O-line computation of realtime schedules using petri nets. Discrete Event Dynamic Systems, pp.311-333, 2002.

S. L. Graham, P. B. Kessler, and M. K. Mckusick, Gprof : A call graph execution proler, SIGPLAN Symposium on Compiler Construction, p.120126, 1982.

D. Geniet and G. Largeteau, WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model, Theoretical Computer Science, vol.388, issue.1-3, pp.26-52, 2007.
DOI : 10.1016/j.tcs.2007.03.054

URL : https://hal.archives-ouvertes.fr/hal-00346012

E. [. Graham, J. K. Lawler, A. H. Lenstra, and . Rinnooy, Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey, Discrete Optimization II, p.287326, 1979.
DOI : 10.1016/S0167-5060(08)70356-X

. Grolleau, Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux de Petri en environnement monoprocesseur et multiprocesseur, Ecole Nationale Supérieure de Mécanique et d'Aérotechnique, pp.29-40

]. Gro05, . Osek, . Vdx, and . Group, Operating system specication 2.2.3, 2005.

M. Geimer, F. Wolf, B. J. Wylie, and B. Mohr, A scalable tool architecture for diagnosing wait states in massively parallel applications, Parallel Computing, vol.35, issue.7, p.375388, 2009.
DOI : 10.1016/j.parco.2009.02.003

[. Halbwachs, Synchronous programming of reactive systems, In Computer Aided Verication Lecture Notes in Computer Science, vol.1427, p.116, 1998.

[. Halbwachs, F. Lagnier, and C. Ratel, Programming and verifying critical systems by means of the synchronous data-ow programming language lustre, IEEE Transactions on Software Engineering, vol.18, issue.9, p.785793, 1992.

J. Hugues, B. Zalila, L. Pautet, and F. Kordon, Rapid prototyping of distributed real-time embedded systems using the aadl and ocarina, IEEE International Workshop on Rapid System Prototyping, p.106112, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01335114

[. Jain, The Art of Computer Systems Performance Analysis : Techniques for Experimental Design, Measurement, Simulation, and Modeling, 1991.

M. Joseph and P. K. Pandya, Finding Response Times in a Real-Time System, The Computer Journal, vol.29, issue.5, p.390395, 1986.
DOI : 10.1093/comjnl/29.5.390

H. Kopetz and G. Bauer, The time-triggered architecture, Proceedings of the IEEE, p.112126, 2003.

A. Knüpfer, R. Brendel, H. Brunst, H. Mix, and W. E. Nagel, Introducing the Open Trace Format (OTF), International Conference on Computational Science, p.526533, 2006.
DOI : 10.1007/11758525_71

J. Keniston, A. Mavinakayanahalli, P. Panchamukhi, and V. Prasad, Ptrace, utrace, uprobes : Lightweight, dynamic tracing of user apps, Linux Symposium, p.215224, 2007.

]. Kod07 and . Kodancha, Time management in partitioned systems. Master's thesis, Indian Institute of Science, 2007.

]. J. Lab74 and . Labetoulle, Un algorithme optimal pour la gestion des processus en temps réel. Revue Francaise d'Automatique, Informatique et Recherche Opérationnelle, p.1117, 1974.

A. Phillip and . Laplante, Real-time Systems Design and Analysis, 2004.

P. John and . Lehoczky, Fixed priority scheduling of periodic task sets with arbitrary deadlines, 11th Real-Time Systems Symposium, p.201209, 1990.

J. G. Levon, D. Largeteau, E. Geniet, and . Andres, Discrete geometry applied in hard real-time systems validation, DGCI 2005 12th International Conference, p.2333, 2005.

J. Paul-le-guernic, J. Talpin, and . Lann, POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.261-303, 2003.
DOI : 10.1142/S0218126603000763

R. Lindsley and D. Hansen, Bkl : One lock to bind them all, Ottawa Linux Symposium, p.301, 2002.

J. W. Liu, C. L. Liu, J. W. Joseph, Y. Leung, and J. Whitehead, Real-time systems Scheduling algorithms for multiprogramming in a hard-real-time environment [LS99] Thomas Lundqvist and Per Stenström. An integrated path and timing analysis method based on cycle-level symbolic execution. Real-Time Systems On the complexity of xed-priority scheduling of periodic, real-time tasks. Performance evaluation, Journal of the ACM (JACM), vol.20, issue.24, p.4661183207237250, 1973.

C. U. Martel, Preemptive Scheduling with Release Times, Deadlines, and Due Times, Journal of the ACM, vol.29, issue.3, p.812829, 1982.
DOI : 10.1145/322326.322337

A. K. , L. Mok, and J. Seward, Fundamental Design Problems of Distributed Systems for the Hard Real-Time Environment Reactiveml : a reactive extension to ml [Nem08] Fadia Nemer. Optimisation de l'estimation du WCET par analyse inter-tâche du cache d'instructions Valgrind : a framework for heavyweight dynamic binary instrumentation, International Conference on Principles and Practice of Declarative Programming Programming Language Design and Implementation, pp.8293-89100, 1983.

Y. Ouhammou, Model-based Framework for Using Advanced Scheduling Theory in Real-Time Systems Design
URL : https://hal.archives-ouvertes.fr/tel-00954468

M. J. Pont, A. J. Norman, C. Mwelwa, and T. Edwards, Prototyping time-triggered embedded systems using pc hardware, 8th European Conference on Pattern Languages of Programms, p.691716, 2003.

[. Rojas, Une approche à base de composants logiciels pour l'observation de systèmes embarqués. These, 2011.

J. Regehr, Inferring scheduling behavior with hourglass, USENIX Annual Technical Conference, FREENIX Track, p.143156, 2002.

[. Regnier, G. Lima, and L. Barreto, Evaluation of interrupt handling timeliness in real-time Linux operating systems, ACM SIGOPS Operating Systems Review, vol.42, issue.6, p.5263, 2008.
DOI : 10.1145/1453775.1453787

V. Glauco-caurin-rafael and . Aroca, A real time operating systems (rtos) comparison, XXIX Congresso da Sociedade Brasileira de Computação, 2009.

[. Senn, J. Laurent, E. Juin, and J. Diguet, Rening power consumption estimations in the component based aadl design ow, Forum on specication and Design Languages, p.173178, 2008.

[. Shende and A. D. Malony, The Tau Parallel Performance System, International Journal of High Performance Computing Applications, vol.20, issue.2, pp.287-311, 2006.
DOI : 10.1177/1094342006064482

W. Soukore, A comparaison of two preruntime schedule-dispatchers for rtai, 2001.

O. Scheickl and M. Rudorfer, Automotive real time development using a timing-augmented autosar specication, 4th Embedded Real Time Software, 2008.

[. Schwabl, J. Reisinger, and G. Gruensteidl, A survey of mars, 1989.

L. Sha, R. Rajkumar, P. John, and . Lehoczky, Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, p.11751185, 1990.
DOI : 10.1109/12.57058

J. A. Stankovic, K. Ramamritham, and M. Spuri, Deadline scheduling for real-time systems : EDF and related algorithms, 1998.
DOI : 10.1007/978-1-4615-5535-3

F. Scheler and W. Schroeder-preikschat, Time-triggered vs. eventtriggered : A matter of conguration, GI/ITG Workshop on Non-Functional Properties of Embedded Systems, p.16, 2006.

D. B. Stewart, Measuring execution time and real-time performance, Embedded Systems Conference Boston, 2006.

J. [. Tracey, K. Clark, and . Mander, The way forward for unifying dynamic test-case generation : The optimisation-based approach, IFIP International Workshop on Dependable Computing and its Applications (DCIA 98), p.169180, 1998.

[. Test and D. Group, Mipi test and debug interface framework v3.2, 2006.

M. Timmerman, Rtos market overview-a follow up. REAL TIME MAGA- ZINE, p.68, 1999.

N. Vsk-+-08-]-bart-vermeulen, R. Stollon, G. Kühnis, J. Swoboda, and . Rearick, Overview of debug standardization activities, IEEE Design & Test of Computers, vol.25, issue.3, p.258267, 2008.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, p.36, 2008.
DOI : 10.1145/1347375.1347389

J. Wegener and F. Mueller, A comparison of static analysis and evolutionary testing for the verication of timing constraints. Real-Time Systems, p.241268, 2001.

J. Xu and D. L. Parnas, Scheduling processes with release times, deadlines , precedence and exclusion relations, IEEE Transactions on Software Engineering, vol.16, issue.3, p.360369, 1990.

J. Xu, Making software timing properties easier to inspect and verify, IEEE Software, vol.20, issue.4, p.3441, 2003.