. Ont-passé-sur-le-processeur, en exposant lesprobì emes liésliésà la granularité de l'horloge système pour les ordonnanceurs avec acceptation en-ligne de tâches apériodiques temps-réel, et en indiquant comment la prendre en compte dans ces ordonnanceurs. Les autres ordonnanceurs disponibles et non présentés en détail ci-dessous correspondentàpondent`pondentà l'implantation directe des travaux décrits dans les articles qui les proposent. Les sources d'Artisst contiennent une documentationcompì ete pour tous ces ordon- nanceurs. 8.5. Prise en compte de la granularité de l'horloge système effet, d'autres tâches ont certes pu s'exécuter, mais alors nécessairement elles avaient plus haute priorité, et donc nécessairement elles se sont terminées durant cet intervalle ; sinon ce serait l'une d'entre elles qui serait la tâche courante. 1.5. Module de simulation de système temps-réel rtsys st rtsys hold cpu(rtsys, duree) : simulation d, Nous levons cette hypothèse dans ladernì ere section du chapitre

J. Id, S. Status, and . Overrun, code retour) : suppression du travail job id en précisant au système le code de retour code retour. Les codes de retour reconnus par défaut sont : ST TERM STATUS DEADLINE MISS (indique un dépassement d'´ echéance), st rtsys cancel task

. St-rtsys-yield, force une décision d'ordonnancement ; st rtsys get date(rtsys) : consultation de l'horloge système ; st rtsys change date(rtsys, op, val) : modification de la date système. Suivant la valeur de op il peut s'agir d'un positionnementàpositionnement`positionnementà la date val absolue, d'une incrémentation ou d'une décrémentation de val unités de temps

. Articles, G. C. Abeni, and . Buttazzo, Integrating multimedia applications in hard real-time systems, Proceedings of the IEEE Real-Time System Symposium, pp.4-13, 1998.

A. Atlas and A. Bestavros, An omniscient scheduling oracle for systems with harmonic periods, 1998.

A. K. Atlas and A. Bestavros, Design and implementation of statistical rate monotonic scheduling in KURT Linux, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 1998.
DOI : 10.1109/REAL.1999.818853

A. K. Atlas and A. Bestavros, Statistical rate monotonic scheduling, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), 1998.
DOI : 10.1109/REAL.1998.739737

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.305.474

A. [. Aldarmi and . Burns, Dynamic value-density for scheduling real-time systems, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, 1999.
DOI : 10.1109/EMRTS.1999.777474

A. N. Audsley, M. Burns, K. Richardson, A. Tindell, and . Wellings, Applying new scheduling theory to static priority pre-emptive scheduling, Software Engineering Journal, vol.8, issue.5, pp.284-292, 1993.
DOI : 10.1049/sej.1993.0034

A. [. Audsley, M. F. Burns, A. J. Richardson, and . Wellings, Hard Real- Time Scheduling: The Deadline Monotonic Approach, Proceedings 8th IEEE Workshop on Real-Time Operating Systems and Software, 1991.

A. [. Audsley, M. F. Burns, A. J. Richardson, and . Wellings, STRESS: A simulator for hard real-time systems, Software: Practice and Experience, vol.180, issue.6, pp.543-564, 1994.
DOI : 10.1002/spe.4380240603

G. [. Abeni, G. Lipari, and . Buttazzo, Constant bandwidth vs. proportional share resource allocation, Proceedings IEEE International Conference on Multimedia Computing and Systems, pp.107-111, 1999.
DOI : 10.1109/MMCS.1999.778154

K. [. Audsley, A. Tindell, and . Burns, The End Of The Line For Static Cyclic Scheduling?, Fifth Euromicro Workshop on Real-Time Systems, pp.36-41, 1993.
DOI : 10.1109/EMWRT.1993.639042

]. N. Articles-référencés-[-aud91, . Audsley, ]. T. Yorkbak91, and . Baker, Optimal priority assignment and feasibility of static priority tasks with arbitrary start times Stack-based scheduling of realtime processes, Journal of Real- Time Systems, vol.3, issue.1, pp.67-100, 1991.

M. Barabanov, A linux-based real-time operating system. Master's thesis, New Mexico Institute of Mining and Technology, 1997.

S. Baruah, [. Bernat, A. Burns, and A. Llamosí, A general model for recurring real-time tasks Scheduling and Timing Analysis for Safety Critical Real-Time Systems Weakly hard real-time systems, Proceedings of the Real-Time Systems SymposiumBat98] IJ Bates IEEE, pp.114-122, 1998.

D. Baruah, S. Chen, A. Gorinsky, [. Mok, D. Baruah et al., Generalized multiframe tasks. Real-Time Systems Static-priority scheduling of multiframe tasks Wcet analysis of probabilistic hard real-time systems The esterel synchronous programming language: Design, semantics, implementation, Proceedings of the Euromicro Conference on Real-Time Systems 23rd IEEE Real-Time Systems Symposium, pp.5-22, 1992.

]. A. Bgg-+-94, T. Benveniste, P. Gautier, G. Le-guernic, F. Berry et al., Synchronous technology for real-time systems Competitive on-line scheduling of imprecise computations, RTS'94, pp.105-122, 1994.

K. Sanjoy, R. R. Baruah, L. E. Howell, and . Rosier, Feasibility problems for recurring tasks on one processor, BHS01] Sanjoy Baruah, Jayant Haritsa, and Nitin Sharma. On-line scheduling to maximize task completions. Combinatorial Mathematics and Combinatorial Computing, pp.3-2065, 1993.

]. S. Bkm-+-91, G. Baruah, B. Koren, D. Mishra, A. Mao et al., On the competitiveness of on-line real-time task scheduling Articles référencés, Proceedings of the 12th Real-Time Systems Symposium, pp.106-115, 1991.

K. Sanjoy, A. K. Baruah, L. E. Mok, A. Prasad, F. Bondavalli et al., The meaning and role of value in scheduling flexible real-time systems Red: Robust earliest deadline scheduling Adaptable fault tolerance for real-time systems Value vs. deadline scheduling in overload conditions Nest: A network simulation and prototyping tool Fixed priority scheduling with deadlines prior to completion Preemptive priority based scheduling: An appropriate engineering approach The impact of an ada runtime system's performance charactersitics on scheduling models, Preemptively scheduling hard-real-time sporadic tasks on one processor IEEE Real- Time Systems Symposium Proceedings of the International Workshop on Responsive Computing Systems Proceedings of the 15th Real-Time System Symposium Proceedings of the USENIX Winter 1988 Technical Conference Buttazzo. Hard Real-Time Computing Systems. Kluwer academicBWH93] A. Burns, A. J. Wellings, and A. D. Hutcheon Proceedings of the 12th Ada Europe conference, pp.182-190305, 1988.

S. Choi and A. K. Agrawala, Scheduling aperiodic and sporadic tasks in hard real-time systems, 1997.

P. Castelpietra and G. Buttazzo, Modélisation modulaire pour l'´ evaluation des performances d'application embarquées dans l'automobile. Diplôme Supérieur de Formation Industrielle par la Recherche, Mention Firtech Exploiting skips in periodic tasks for enhancing aperiodic responsiveness Real-time scheduling for systems with precedence, periodicity and latency constraints, Proceedings of the 18th IEEE Real-Time Systems Symposium, 1997. [CCS02] L. Cucu, R. Cocif, and Y. Sorel Proceedings of the Conférence Internationale sur les Systèmes Temps-Réel, 2000.

C. Bailey, E. Fyfe, A. Burns, and A. J. Wellings, The olympus attitude and orbital control system, a case study in hard real-time system design and inplementation, 1993.

. Cubert, P. A. Goktekin, and . Fishwick, Moose: architecture of an objectoriented multimodeling simulation system, Proceedings of Enabling Technology for Simulation Science, 1997.

G. Candea and M. B. Jones, Vassal: Loadable scheduler support for multi-policy scheduling, Second USENIX Windows NT Symposium, pp.157-166, 1998.

M. Caccamo, G. Lipari, and G. Buttazzo, Sharing resources among periodic and aperiodic tasks with dynamic deadlines, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 1999.
DOI : 10.1109/REAL.1999.818856

]. A. Col01 and . Colin, Estimation de temps d'exécution au pire cas par analyse statique et application aux systèmes d'exploitation temps-réel, 2001.

A. Stephen and . Cook, The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing, pp.151-158, 1971.

A. Stephen and . Cook, An overview of computational complexity, Communications of the ACM, vol.26, issue.6, pp.400-408, 1983.

]. P. Cp99a, I. Chevochot, and . Puaut, An approach for fault-tolerance in hard realtime distributed systems, Proc. 18th IEEE Symposium on Reliable Distributed Systems (SRDS'99) (short paper), pp.292-293, 1999.

]. P. Cp99b, I. Chevochot, and . Puaut, Tolérance aux fautes dans les systèmes répartis temps-réel strict, Techniques et Sciences Informatiques (TSI), pp.837-870, 1999.

I. [. Colin and . Puaut, Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, Special issue on worst-case execution time analysis, pp.249-274, 2000.

]. A. Cp01a, I. Colin, and . Puaut, Analyse de temps d'exécution au pire cas du système d'exploitation temps-réel RTEMS, Seconde Conférence Française sur les Systèmes d'Exploitation (CFSE2), pp.73-84, 2001.

]. A. Cp01b, I. Colin, and . Puaut, A modular and retargetable framework for treebased wcet analysis, Proc. of the 13th Euromicro Conference on Real- Time Systems, pp.37-44, 2001.

]. A. Cp01c, I. Colin, and . Puaut, Worst-case execution time analysis of the RTEMS real-time operating system, Proc. of the 13th Euromicro Conference on Real-Time Systems, pp.191-198, 2001.

. Cpc-+-00-]-p, I. Chevochot, G. Puaut, A. Cabillic, D. Colin et al., Hades: a distributed system for dependable hard real-time applications built from COTS components, 2000.

I. [. Colin, C. Puaut, P. Rochange, and . Sainrat, Calcul de majorants de pire temps d'ex??cution : ??tat de l'art, Techniques et Sciences Informatiques (TSI), pp.649-675, 2003.
DOI : 10.3166/tsi.22.651-677

P. Castelpietra, Y. Song, F. Simonot-lion, O. Cayroldav93, ]. David et al., Performance evaluation of a multiple networked in-vehicle embedded architecture Approximate slack stealing algorithms for fixed priority preemptive systems Dual priority scheduling: A means of providing flexibility in hard real-time systems, 3rd IEEE International Workshop on Factory Communication Systems Real Time Systems, 1993.

D. Decotigny, Using Artisst: a Tutorial, 1999.

]. J. Del96 and . Delacroix, Translating offline schedules into task attributes for fixed priority scheduling, DFP01] Radu Dobrin, Gerhard Fohler, and Peter Puschner 22nd IEEE Real-Time Systems SymposiumDG01] Loic Dachary and Philippe Gerum. CarbonKernel User Manual, pp.263-291, 1996.

M. G. José-maría-drake, J. J. Harbour, J. Gutiérrez, C. Delacroix, . [. Kaiser et al., Mast: Modeling and analysis suite for real time applications The Netherlands Un modèle de tâches temps réel pour la résorption contrôlée des surcharges, 13th Euromicro Conference on Real-Time Systems RTS 98, 1998.

J. Drummond, [. I. Davis, K. W. Tindell, and A. Burns, Scheduling slack time in fixed priority preemptive systems Eker and A. Cervin. A matlab toolbox for real-time and control systems co-design, Proceedings of the International Workshop on Parallel and Distributed Real- Time Systems Proceedings of the Real-Time Systems Symposium Proceedings of the IEEE International Conference on Real- Time Computing Systems and Applications, pp.222-231, 1993.

C. Ekelin and J. Jonsson, Solving embedded system scheduling problems using constraint programming, IEEE RTSS. [fIT93] IEEE Standard for Information Technology. Portable Operating System Interface 1003.1b & 1003.1c. IEEE, 1993.

P. Fishwick, N. Narayanan, J. Sticklen, and A. Bonarini, A multi-model approach to reasoning and simulation, IEEE Transactions on Systems, Man, and Cybernetics, vol.24, issue.10, 1994.

G. Fohler, Flexibility in Statically Scheduled Hard Real-Time Systems, pp.182-183, 1040.

P. Gai, L. Abeni, M. Giorgi, G. Buttazzo, and M. K. Gardner, A new kernel approach for modular real-time systems development Probabilistic Analysis and Scheduling of Critical Soft Real- Time Systems Goossens and Ch. Hernalsteen. A tool for statistical analysis of hard real-time systems, Proceedings of the 13th IEEE Euromicro Conference on Real-Time Systems Proceedings of The 31st Annual Simulation Symposium, pp.58-65, 1998.

R. Michael, D. S. Garey, and . Johnson, Computers and Intractability : A Guide to the Theory of Np-Completeness. Number

W. Donald, J. Gillies, S. J. Liu, . Comput, K. Mark et al., Performance of algorithms for scheduling real-time systems with overrun and overload Performance analysis of various scheduling algorithms for real-time systems composed of aperiodic and periodic tasks Optimality and nonpreemptive real-time scheduling revisited Dual-priority versus background scheduling: A path-wise comparison. Technical-report, Inria, Institut National de Recherche en Informatique et en Automatique Bringing real-time scheduling theory and practice closer for multimedia computing Preemptive and non-preemptive real-time uniprocessor scheduling Taskpair-scheduling with optimistic case execution times ? an example for an adaptive real-time system Adaptive fault tolerance and graceful degradation under dynamic hard real-time constraints The synchronous data-flow programming language LUSTRE, Proceedings of the Eleventh Euromicro Conference on Real-Time Systems CISSAS'99 INRIA, 1995. [GNM99] Bruno Gaujal, Nicolas Navet, and Jorn Migge Measurement and Modeling of Computer Systems Second International Workshop on Object-oriented Real-time Dependable Systems Proceedings of the 18th IEEE Real-Time Systems Symposium Proceedings of the IEEEHei93] P. Heidmann. A statistical model for designers of rate monotonic systems Proceedings of the Software Engineering Institute's Second Annual Rate Monotonic User's ForumHeu01] Arnd Christian Heursch. Preemption concepts, rhealstone benchmark and scheduler analysis of linux 2.4 Proceedings of the Real-Time & Embedded Computing Expo & Conference, pp.797-810, 1991.

H. Chetto, M. Silly, and T. Bouchentouf, Dynamic scheduling of real-time task under precedence constraints Hansson and Mikael Sjödin. An off-line scheduler and system simulator for the basement distributed real-time system Application of real-time monitoring to scheduling tasks with random execution times, Real Time Systems IEEE Transactions on Software Engineering, vol.16, issue.22, pp.181-1941374, 1990.

R. Rodney, M. K. Howell, and . Venkatrao, On non-preemptive scheduling of recurring tasks using inserted idle times Information and Computation [IF99] Damir Isovic and Gerhard Fohler. Online handling of firm aperiodic tasks in time triggered systems, 11th Euromicro Conference on Real-Time Systems, pp.50-62, 1995.

H. Inki, P. Miodrag, and K. Ramesh, Hetergeneous BISRapproach using system level synthesis flexibility, 1996.

J. Xu and D. Parnas, Scheduling processes with release times, deadlines, precedence and exclusion relations, IEEE Transactions on Software Engineering, vol.16, issue.3, pp.360-369, 1990.
DOI : 10.1109/32.48943

K. Jeffay, Scheduling sporadic tasks with shared resources in hardreal-time systems, IEEE Real-Time Systems Symposium, pp.89-99, 1992.

K. Jeffay and S. Goddard, A theory of rate-based execution, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 1999.
DOI : 10.1109/REAL.1999.818858

. Articles-référencés-[-jg01-]-k, S. M. Jeffay, . Goddard, C. J. Jain, S. V. Hughes et al., Rate-based resource allocation models for embedded systems Soft real-time scheduling on simultaneous multithreaded processors GAST : A flexible and extensible tool for evaluating multiprocessor assignment and scheduling techniques Finding response times in a real-time system, Proceedings of the First International Workshop on Embedded Software 23rd IEEE Real- Time Systems SymposiumJon98] J. Jonsson 11th Conf. on Parallel Processing, pp.204-222, 1986.

M. B. Jones, D. Rosu, M. Jeffay, and D. L. Stone, Cpu reservations and time constraints: Efficient, predictable scheduling of independent activities Accounting for interrupt handling costs in dynamic priority task systems On non-preemptive scheduling of periodic and sporadic tasks, ACM Symposium on Operating Systems Principles Proceedings of the 14th IEEE Real-Time Systems Symposium IEEE Proceedings of the 12 th IEEE Symposium on Real-Time Systems, pp.212-221, 1991.

J. Jonsson and J. Vasell, Evaluation and comparison of task allocation and scheduling methods for distributed real-time systems, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW), 1996.
DOI : 10.1109/ICECCS.1996.558418

J. Jonsson and J. Vasell, Feast: A framework for evaluation of allocation and scheduling techniques for real-time systems, National Swedish Conference on Real-Time Systems. U. Chalmers, 1997.

C. Kaiser, De l'utilisation de la priorité en presence d'exclusion mutuelle, 1981.

L. Kaiser, ContributionàContributionà l'analyse des TIOSMs pour la vérification de propriétés temporelles de systèmes complexes, 2001.

I. Daniel, H. Katcher, J. K. Arakawa, H. Strosnider, G. Kopetz et al., Engineering and analysis of fixed priority schedulers Concepts, algorithms, and tools for model checking Lecture notes of the course Mechanised Validation of Parallel Systems The programmer's view of MARS Mode handling in the time-triggered architecture The steam-boiler problem in signal-coq Koren and D. Shasha. D over : An optimal online scheduling algorithm for overloaded realtime systems Skip-over: algorithms and complexity for overloaded systems that allow skips, Proceedings of the Real-Time Systems Symposium -1992 Proceedings IEEE Real-Time Systems Symposium Proceedings of the 16th IEEE Real-Time Systems Symposium, pp.920-934, 1992.

H. Kaneko, J. A. Stankovic, S. Sen, K. L. Ramamrithamlaw73-]-e, . L. Lawlerlaw78-]-e et al., Integrated scheduling of multimedia and hard real-time tasks Optimal sequencing of a single machine subject to precedence constraints Sequencing jobs to minimize total weighted completion time Schedulability analysis of periodic and aperiodic tasks with resource constraints, Management Science Annals of Discrete Mathematics Journal of System Architectures, vol.19, issue.46, pp.75-90327, 1973.

G. Lipari, S. [. Baruah, S. K. Lipari, ]. Baruahld01, L. Nissanke et al., Efficient scheduling of real-time multi-task applications in dynamic systems A hierarchical extension to the constant bandwidth server framework Jitter control in on-line scheduling of dependent real-time tasks, Proceedings of the Real- Time Technology and Applications Symposium Proceedings of the Real-Time Technology and Application Symposium 22nd IEEE Real-Time Systems Symposium, pp.166-175, 2000.

J. W. Liu, C. L. Liu, J. W. Layland, J. L. Hull, R. Redondo et al., Scheduling algorithms for multiprogramming in a hard-real-time environment PERTS: A prototyping environment for real-time systems, Journal of the ACM International Journal of Software Engineering and Knowledge Engineering, vol.20, issue.62, pp.46-61161, 1973.

W. Jane, K. Liu, W. Lin, A. Kuan-shih, J. Chuang-shi-yu et al., Algorithms for scheduling imprecise computations, IEEE Computer, vol.24, issue.5, pp.58-68, 1991.

. T. Articles-référencés-[-lma88-]-s, D. Levi, A. K. Mosse, and . Agrawala, Allocation of real-time computations under fault-tolerance constraints, Proceedings IEEE Real-Time Systems Symposium, pp.161-170, 1988.

. W. Lrd-+-93-]-j, J. L. Liu, Z. Redondo, T. S. Deng, R. Tia et al., PERTS: A prototyping environment for real-time systems, 1993.

]. C. Lsa-+-00, J. A. Lu, T. F. Stankovic, G. Abdelzaher, S. H. Tao et al., Performance specifications and metrics for adaptive real-time systems, Proceedings of the 21th IEEE Real-Time Systems Symposium, 2000.

J. P. Lehoczky, L. Sha, and Y. Ding, The rate monotonic scheduling algorithm: exact characterization and average case behavior, [1989] Proceedings. Real-Time Systems Symposium, pp.166-171, 1989.
DOI : 10.1109/REAL.1989.63567

P. John, S. R. Lehoczky, and . Thuel, Scheduling periodic and aperiodic tasks using the slack stealing algorithm Advances in Real-Time Systems, pp.172-195, 1994.

J. [. Leung and . Whitehead, On the complexity of fixed-priority scheduling of periodic, real-time tasks, Performance Evaluation, vol.2, issue.4, 1982.
DOI : 10.1016/0166-5316(82)90024-4

]. G. Man98 and . Manimaran, Resource management with dynamic scheduling in parallel and distributed real-time systems, 1998.

A. [. Mcelhone and . Burns, Scheduling optional computations for adaptive real-time systems, Journal of Systems Architecture, vol.46, issue.1, 1997.
DOI : 10.1016/S1383-7621(98)00058-7

A. K. Mok and D. Chen, A general model for real-time tasks, 1996.

A. K. Mok and D. Chen, A multiframe model for real-time tasks, Proceedings of the Real-Time Systems Symposium, 1996.

]. C. Mce94 and . Mcelhone, Adapting and evaluating algorithms for dynamic schedulability testing, 1994.

A. K. Mok and A. X. Feng, Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems, Second International Conference on Embedded Software, EMSOFT 2002, 2002.
DOI : 10.1007/3-540-45828-X_14

J. Migge, L'ordonnancement sous contraintes temps-réel : un modèlè a base de trajectoires, 1999.

]. G. Mmm00a, A. Manimaran, C. Manikutty, R. Siva, and . Murthy, Dharma: A tool for evaluating dynamic scheduling algorithms for real-time multiprocessor systems, Journal of Systems and Software, vol.50, issue.2, pp.131-149, 2000.

]. A. Mmm00b, G. Mittal, C. Manimaran, R. Siva, and . Murthy, Integrated dynamic scheduling of hard and qos degradable real-time tasks in multiprocessor systems Articles référencés [Mok83] A.K. Mok. Fundamental design problems of distributed systems for the hard-real-time environment, to appear in Journal of Systems Architecture, 1983.

A. D. Malony, D. A. Reed, and H. A. Wijshoff, Performance measurement intrusion and perturbation analysis, 25th Annual International Symposium on Fault-Tolerant Computing, pp.433-450, 1992.
DOI : 10.1109/71.149962

R. C. Metzger, B. Vanvoorst, L. S. Pires, R. Jha, W. Au et al., The c3i parallel benchmark suite -introduction and preliminary results Moron and H. Zedan Adaptable scheduler using milestones for hard real-time systems [Nav99] Nicolas Navet. ´ Evaluation de performances temporelles et optimisation de l'ordonnancement de tâches et messages [Net97] E. Nett. Real-time behaviour in a heterogeneous environment In Third International Workshop on Object-oriented Real-time Dependable Systems Preserving real-time behavior in dynamic distributed systems Preserving real-time behavior un dynamic distributed systems Grand Bahama Island, The Bahams An adaptive approach to objectoriented real-time computing Enhancing oo middleware to become time-aware, Proceedings of the SUPERCOMPUTING '96 IASTED International Conference on Artificial Intelligence and Soft Computing IEEE IEEE IASTED International Conference on Intelligent Information Systems Proceedings of ISORC'98NGS97] E. Nett, M. Gergeleit, and H. Streich. Flexible resource scheduling and control in an adaptive real-time environment IASTED International Conference on Artificial Intelligence and Soft Computing, 1993.

M. David and . Nicol, Discrete-event simulation in performance evaluation In Performance Evaluation: Origins and Directions, LNCS 1769. [Nic98] Guillem Bernat Nicolau. Specification and Analysis of Weakly Hard Real- Time Systems, 1998.

. Articles, ]. J. Ost92, and . Ostroff, Formal methods for the specification and design of real-time safety critical systems, Journal of Systems and Software, vol.18, issue.1, 1992.

D. [. Puaut and . Decotigny, Low-complexity algorithms for static cache locking in multitasking hard real-time systems, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 2002.
DOI : 10.1109/REAL.2002.1181567

[. Pool, Benchmarkingh of real-time high-performance computing systems, Proceedings of the International Workshop on Parallel and Distributed Real-Time Systems, 1996.

]. I. Pua02 and . Puaut, Real-time performance of dynamic memory allocation algorithms, Proc. of the 14th Euromicro Conference on Real-Time Systems, 2002.

M. A. , R. , and M. Harbour, Posix-compatible application-defined scheduling in marte os, SP, 2001.

[. Rajkumar, K. Juvva, A. Molano, and S. Oikawa, Resource Kernels: A Resource-Centric Approach to Real-Time and Multimedia Systems, Proceedings of the SPIE/ACM Conference on Multimedia Computing and Networking, 1998.
DOI : 10.1016/B978-155860651-7/50127-3

M. Richard, P. Richard, E. Grolleau, and F. Cottet, Contraintes de précédences et ordonnancement mono-processeur, Proceedings of the Conférence Internationale sur les Systèmes Temps-Réel, 2002.

J. [. Ramamritham and . Stankovic, Scheduling algorithms and operating systems support for real-time systems, IEEE Proceedings of the IEEE, 1994.
DOI : 10.1109/5.259426

J. [. Regehr and . Stankovic, HLS: a framework for composing soft real-time schedulers, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420), pp.3-14, 2001.
DOI : 10.1109/REAL.2001.990591

J. Regehr, J. Stankovic, and M. Humphrey, The case for hierarchical schedulers with performance guarantees, 2000.

A. [. Subramani and . Agrawala, A Dual Interpretation of ???Standard Constraints??? in Parametric Scheduling, Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.121-133, 2000.
DOI : 10.1007/3-540-45352-0_12

. Sawj-+-96-]-ion, H. Stoica, K. Abdel-wahab, S. Jeffay, J. Baruah et al., A Proportional Share Resource Allocation Algorithm for Real-Time, Time-Shared Systems, Proceedings of the IEEE Real-Time Systems Symposium, 1996.

G. [. Spuri, M. Buttazzo, G. Spuri, F. Buttazzo, M. Sensini et al., Efficient aperiodic service under earliest deadline scheduling Articles référencés Robust aperiodic scheduling under dynamic priority systems Design and implementation of maruti-ii Advances in Real-Time Systems On the design of a dynamic distributed realtime environment On the design of a dynamic distributed realtime environment, Proceedings of the 15th IEEE Real-Time System Symposium Proc. of the IEEE Real-Time Systems Symposium 11th International Parallel Processing Symposium IEEE IEEE Workshop Parallel Distributed Real-Time Systems (WPDRTS)SGL97] Jun Sun, Mark K. Gardner, and Jane W. S. Liu. Bounding completion times of jobs with arbitrary release times, variable execution times, and resource sharing. IEEE Transactions on Software Engineering, pp.2-21, 1994.

F. Matthew, J. Storch, . Liu, W. Shih, and . Liu, A simulation environment for distributed real-time systems Algorithms for scheduling imprecise computations with timing constraints to minimize maximum error, Proceedings of the SCS Simulation Multiconference Proceedings of the IEEE Transactions on Computers, 1994.

F. Matthew, J. Storch, and . Liu, DRTSS: A simulation framework for complex real-time systems, Proceedings, Real-Time Technology and Applications Symposium, pp.160-169, 1996.

F. Simonot-lion, L. J. Strosnider, J. P. Lehoczky, and L. Sha, Une contributionàcontribution`contributionà la modélisation etàet`età la validation d'architectures temps-réel HabilitationàHabilitationà diriger des recherches The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments, IEEE Transactions On Computers, vol.44, issue.1, pp.73-91, 1995.

J. A. Stankovic, C. Lu, and S. H. Son, The case for feedback control real-time scheduling Handling interrupts with static scheduling in an automotive vehicle control system, Proceedings of the International Conferance on Real-Time Computing Systems and Applications, pp.158-165, 1998.

S. Sommer and J. Potter, Admissibility tests for interrupted earliest deadline first scheduling with priority inheritance Aperiodic task scheduling for real-time systems, 1990.

. Articles, ]. M. Spu96, . Spuri, ]. W. Inria-rocquencourtsrg89, J. Schwabl et al., Analysis of deadline scheduled real-time systems A survey of mars Priority inheritance protocols: An approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1989.

A. John, K. Stankovic, D. Ramamritham, M. Niehaus, G. Humphrey et al., The spring system: Integrated support for complex real-time systems, 1998.

M. Spuri and J. A. Stankovic, How to integrate precedence constraints and shared resources in real-time scheduling Havege : Hardware volative entropy gathering and expansion unpredictable random number generation at user level, Workshop on Random Number Generators and Highly Uniform Point Sets, 1993.

J. Stankovic, M. Spuri, M. Dinatale, and G. Buttazzo, Implications of classical scheduling results for real-time systems, Computer, vol.28, issue.6, 1994.
DOI : 10.1109/2.386982

J. A. Stankovic, M. Spuri, M. D. Natale, and G. Buttazzo, Implications of classical scheduling results for real-time systems, Computer, vol.28, issue.6, 1994.
DOI : 10.1109/2.386982

J. A. Stankovic, Misconceptions about real-time computing: a serious problem for next-generation systems, Computer, vol.21, issue.10, pp.10-19, 1988.
DOI : 10.1109/2.7053

J. A. Stankovic, Reflective real-time systems Taskpair-scheduling: An approach for dynamic real-time systems, Str95] H. Streich, pp.77-83, 1993.

. Swr-+-99a-]-behrooz, L. Shirazi, B. Welch, C. Ravindran, B. Cavanaugh et al., Dynbench: A dynamic benchmark suite for distributed real-time systems, Proceedings of the Workshop on Embedded HPC Systems and Applications, 1999.

. Swr-+-99b-]-behrooz, L. R. Shirazi, B. Welch, C. Ravindran, B. Cavanaugh et al., Dynbench: A dynamic benchmark suite for distributed real-time systems, IPPS/SPDP Workshops, pp.1335-1349, 1999.

K. Tindell, A. Burns, A. J. Wellings, and A. J. Wellings, Allocating real-time tasks (an np-hard problem made easy) Real-Time Systems Mode changes in priority pre-emptively scheduled systems, IEEE Real-Time Systems Symposium, pp.145-165, 1992.

J. [. Tindell and . Clark, Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming -Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems), pp.117-134, 1994.
DOI : 10.1016/0165-6074(94)90080-9

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.2371

. Tds-+-95-]-t, Z. Tia, M. Deng, M. Shankar, J. Storch et al., Probabilistic performance guarantee for real-time tasks with varying computation times, Proceedings of the Real-Time Technology and Applications Symposium, pp.164-173, 1995.

]. K. Tin92a and . Tindell, An extendible approach for analyzing fixed priority hard realtime tasks, 1992.

]. K. Tin92b and . Tindell, Using offset information to analyse static priority preemptively scheduled task sets, 1992.

]. K. Tin93, Fixed Priority Scheduling of Hard Real-Time Systems, 1993.

]. K. Tin94 and . Tindell, Adding time-offsets to schedulability analysis, 1994.

[. Tia, J. Liu, and M. Shankar, Algorithms and optimality of scheduling soft aperiodic requests in fixed-priority preemptive systems, Real-Time Systems, vol.1, issue.1, 1995.
DOI : 10.1007/BF00357882

T. Tia, W. Liu, J. Sun, and R. Ha, A linear-time optimal acceptance test for scheduling of hard real-time tasks, 1994.

]. H. Tnr90a, T. Tokuda, P. Nakajima, and . Rao, Real-Time Mach: Toward a Predictable Real-Time System, Proceedings of USENIX Mach Workshop, pp.73-82, 1990.

[. Tokuda, T. Nakajima, and P. Rao, Real-time Mach: Towards a predictable real-time system, Proceedings of the USENIX Mach Workshop, pp.73-82, 1990.

[. Vroey, J. Goossens, and C. Hernalsteen, A generic simulator of real-time scheduling algorithms, Proceedings of the 29th Annual Simulation Symposium, pp.242-249, 1996.
DOI : 10.1109/SIMSYM.1996.492172

[. Vanvoorst, R. Jha, and L. Pires, A real-time parallel benchmark suite. SIAM's Parallel Processing for Scientific Computing, 1997.

[. Weiderman, Hartstone: Synthetic benchmark requirements for hard realtime applications, 1989.

[. Wang and K. Lin, Implementing a general real-time scheduling framework in the RED-Linux real-time kernel, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), pp.246-255, 1999.
DOI : 10.1109/REAL.1999.818850

Y. Articles, K. Wang, M. Lin, and . Saksena, Providing real-time support in the linux kernel Scheduling fixed priority tasks with preemption threshold, IEEE Real-Time Technology and Applications Symposium Proceedings of the IEEE International Conference on Real- Time Computing Systems and Applications, 1999.

L. R. Welch and B. A. Shirazi, A dynamic real-time benchmark for assessment of QoS and resource management technology, Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999.
DOI : 10.1109/RTTAS.1999.777659

Y. Wang and M. Saksena, Scheduling fixed-priority tasks with preemption threshold: An attractive technology? Regehr's readings, 2002.

M. Khawar and . Zuberi, Real-Time Operating System Services for Networked Embedded Systems, 1998.

P. Crescenzi, V. Kann, M. Halldórsson, M. Karpinski, and G. Woeginger, A compendium of np optimization problems

G. Reeves, What really happened on mars, 1998.

F. Singhoff, The Cheddar project
URL : https://hal.archives-ouvertes.fr/hal-00502358