M. Abrams, The object library for parallel simulation (OLPS), Proceedings of the 20th conference on Winter simulation (WSC '88, pp.210-219, 1988.

R. L. Bagrodia, . Shen, and . Chien-chung, MIDAS: integrated design and simulation of distributed systems, IEEE Transactions on Software Engineering, vol.17, issue.10, pp.1042-1058, 1991.
DOI : 10.1109/32.99192

H. Bauer and C. Sporrer, Reducing Rollback Overhead In Time-warp Based Distributed Simulation With Optimized Incremental State Saving, [1993] Proceedings 26th Annual Simulation Symposium, pp.12-20, 1993.
DOI : 10.1109/SIMSYM.1993.639048

D. Bauer, . Yaun, C. D. Garrett-;-carothers, . Yuksel, . Murat-;-kalyanaraman et al., Seven-O'Clock: A New Distributed GVT Algorithm Using Network Atomic Operations, Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation (PADS '05, pp.39-48, 2005.

. Bernat, . Guillem-;-colin, . Antoine, and S. M. Petters, WCET analysis of probabilistic hard real-time systems, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., p.279, 2002.
DOI : 10.1109/REAL.2002.1181582

S. C. Botelho and R. Alami, A multi-robot cooperative task achievement system, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065), pp.2716-2721, 2000.
DOI : 10.1109/ROBOT.2000.846438

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

D. Christopher, S. Carothers-;-kalyan, . Perumalla, M. Richard, and . Fujimoto, Efficient optimistic parallel simulations using reverse computation, ACM Trans. Model. Comput. Simul, vol.9, issue.3, pp.224-253, 1999.

D. Chabrol and G. Vidal-naquet, Christophe Aussaguès OASIS. A Chain of Development for Safety-Critical Real-Time Systems, Embedded Real-Time Systems (, p.p, 2004.

A. Chandler and . Finney, Rendezvous, Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology , ACE '05, pp.15-17, 2005.
DOI : 10.1145/1178477.1178534

K. M. Chandy and J. Misra, Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. Software Engineering, IEEE Transactions on, vol.5, issue.5, pp.440-452, 1979.

K. M. Chandy and ;. J. Misra, Asynchronous distributed simulation via a sequence of parallel computations, Communications of the ACM, vol.24, issue.4, pp.198-206, 1981.
DOI : 10.1145/358598.358613

G. Chen, K. Boleslaw, and . Szymanski, Lookback: a new way of exploiting parallelism in discrete event simulation, PADS '02: Proceedings of the sixteenth workshop on Parallel and distributed simulation, pp.153-162, 2002.

M. Chetlur and P. A. Wilsey, Causality information and fossil collection in timewarp simulations, Proceedings of the 38th conference on Winter simulation (WSC '06, ). Winter Simulation Conference, pp.987-994, 2006.

D. Cornhill, . Sha, and . Lui, Priority inversion in Ada, ACM SIGAda Ada Letters, vol.VII, issue.7, pp.30-32, 1987.
DOI : 10.1145/36072.36073

O. Dahl and K. Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966.
DOI : 10.1145/365813.365819

O. P. Damani and V. K. Garg, Fault-tolerant distributed simulation, ACM SIGSIM Simulation Digest, vol.28, issue.1, pp.38-45, 1998.
DOI : 10.1145/278009.278014

S. Das, R. Fujimoto, . Panesar, . Kiran-;-allison, and M. Hybinette, GTW: a time warp system for shared memory multiprocessors Society for Computer Simulation International, Proceedings of the 26th conference on Winter simulation (WSC '94, pp.1332-1339, 1994.

L. Deutsch, . Peter, . Bobrow, and G. Daniel, An efficient, incremental, automatic garbage collector, Communications of the ACM, vol.19, issue.9, pp.552-526, 1976.
DOI : 10.1145/360336.360345

A. F. Dias, M. Akil, C. Lavarenne, and Y. Sorel, Vers la synthèse automatique de circuits à partir de graphes algorithmiques factorisés, Actes du 5ème Workshop AAA sur l'Adéquation Algorithme Architecture, p.p, 2000.

P. M. Dickens, J. Reynolds, and P. F. , SRADS with Local Rollback, 1990.

E. Dijkstra, Cooperating sequential processes Programming Languages, p.p, 1968.

. Ekl\-"-{o}f, . Martin, . Moradi, . Farshad, and . Ayani, A framework for fault-tolerance in HLA-based distributed simulations, Proceedings of the 37th conference on Winter simulation (WSC '05, ). Winter Simulation Conference, pp.1182-1189, 2005.

A. Fabbri, GVT and scheduling in space time memory based techniques, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155), pp.54-61, 1999.
DOI : 10.1109/PADS.1999.766161

A. Ferscha and J. Luthi, Estimating rollback overhead for optimism control in Time Warp, Proceedings of Simulation Symposium, pp.2-12, 1995.
DOI : 10.1109/SIMSYM.1995.393563

A. Ferscha, Probabilistic adaptive direct optimism control in Time Warp, PADS '95: Proceedings of the ninth workshop on Parallel and distributed simulation, pp.120-129, 1995.

J. Fleischmann and P. A. Wilsey, Comparative analysis of periodic state saving techniques in time warp simulators. Parallel and Distributed Simulation, PADS'95), Proceedings., Ninth Workshop on (Cat. No.95TB8096), pp.50-58, 1995.

S. Cleary, State saving for interactive optimistic simulation, SIGSIM Simul. Dig, vol.27, issue.1, pp.72-79, 1997.

R. M. Fujimoto, Parallel discrete event simulation, Communications of the ACM, vol.33, issue.10, pp.30-53, 1990.
DOI : 10.1145/84537.84545

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

R. M. Fujimoto, Time warp on a shared memory multiprocessor, Trans. Soc. Comput. Simul. Int, vol.6, pp.211-239, 1990.

R. M. Fujimoto and M. Hybinette, Computing global virtual time in shared-memory multiprocessors, ACM Transactions on Modeling and Computer Simulation, vol.7, issue.4, pp.425-446, 1997.
DOI : 10.1145/268403.268404

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

A. Gafni, Rollback mechanisms for optimistic distributed simulation systems, In SCS Multiconference on Distributed Simulation, pp.61-67, 1988.

A. A. Ghosal-;-t, . M. Henzinger-;-c, . A. Kirsch-;-m, and . Sanvido, Eventdriven programming with logical execution times, Seventh International Workshop on Hybrid Systems: Computation and Control (HSCC), pp.357-371, 2004.

K. Ghosh, M. Richard, K. Fujimoto, and . Schwan, Time Warp simulation in time constrained systems, ACM SIGSIM Simulation Digest, vol.23, issue.1, pp.163-166, 1993.
DOI : 10.1145/174134.158481

K. Ghosh, M. Richard, K. Fujimoto, and . Schwan, PORTS: a parallel, optimistic, real-time simulator, PADS '94: Proceedings of the eighth workshop on Parallel and distributed simulation, pp.24-31, 1994.

Z. Gomes, F. Xiao, B. Unger, and J. Cleary, A fast asynchronous GVT algorithm for shared memory multiprocessor architectures, Proceedings of the ninth workshop on Parallel and distributed simulation (PADS '95, pp.203-208, 1995.
DOI : 10.1145/214283.214350

G. Gordon, A general purpose systems simulation program, eastern joint computer conference: computers -key to total systems control (AFIPS '61 (Eastern), Proceedings of the, pp.87-104, 1961.

M. Hillion, Contrôle de combustion en transitoires des moteurs à combustion interne, 2009.

M. Fujimoto, Optimistic Computations In Virtual Environments, Proceedings of the Virtual Worlds and Simulation Conference (VWSIM'99, pp.39-44, 1999.

M. ;. Hybinette and R. M. Fujimoto, Cloning parallel simulations, ACM Transactions on Modeling and Computer Simulation, vol.11, issue.4, pp.378-407, 2001.
DOI : 10.1145/508366.508370

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

M. ;. Hybinette and R. M. Fujimoto, Latency Hiding with Optimistic Computations, Journal of Parallel and Distributed Computing, vol.62, issue.3, pp.427-445, 2002.
DOI : 10.1006/jpdc.2001.1801

R. David and . Jefferson, Virtual time, ACM Trans. Program. Lang. Syst, vol.7, issue.3, pp.404-425, 1985.

H. Kopetz, Event-triggered versus time-triggered real-time systems, Proceedings of the International Workshop on Operating Systems of the 90s and Beyond, pp.87-101, 1991.
DOI : 10.1007/BFb0024530

H. Kopetz and G. Bauer, The time-triggered architecture, Proceedings of the IEEE, vol.91, issue.1, pp.112-126, 2003.
DOI : 10.1109/JPROC.2002.805821

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

C. Laurgeau, Le siècle de la voiture intelligente. Mines ParisTech, 2009.

C. Lavarenne and Y. Sorel, Modèle unifié pour la conception conjointe logiciel-matériel, pp.569-578, 1997.

E. A. Lee, Reinventing Computing for Real Time, Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms, pp.1-25, 2005.
DOI : 10.1007/978-3-540-71156-8_1

E. A. Lee, The Problem with Threads, Computer, vol.39, issue.5, pp.33-42, 2006.
DOI : 10.1109/MC.2006.180

Y. Lin, R. Bruno, M. Preiss-;-wayne, . Loucks, D. Edward et al., Selecting the checkpoint interval in time warp simulation, ACM SIGSIM Simulation Digest, vol.23, issue.1, pp.3-10, 1993.
DOI : 10.1145/174134.158460

C. L. Liu and J. W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

J. A. Liu-;-e and . Lee, Timed multitasking for real-time embedded software, IEEE Control Systems Magazine, pp.65-75, 2003.

B. ;. Lubachevsky, . Schwartz, . Adam, and A. Weiss, An analysis of rollback-based simulation, ACM Transactions on Modeling and Computer Simulation, vol.1, issue.2, pp.154-193, 1991.
DOI : 10.1145/116890.116912

H. Markowitz, ;. J. Max, . W. Hausner-;-h, and . Karr, SIMSCRIPT: A Simulation Programming Language, 1962.

T. Mclean and R. Fujimoto, Predictable time management for real-time distributed simulation, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings., p.89, 2003.
DOI : 10.1109/PADS.2003.1207424

S. Weber, Le langage SystemVerilog, Synthèse et vérification des circuits numériques complexes, 2009.

R. E. Nance, The time and state relationships in simulation modeling, Communications of the ACM, vol.24, issue.4, pp.173-179, 1981.
DOI : 10.1145/358598.358601

R. E. Nance, A history of discrete event simulation programming languages, pp.369-427, 1996.

A. C. Palaniswamy and P. A. Wilsey, An analytical comparison of periodic checkpointing and incremental state saving, ACM SIGSIM Simulation Digest, vol.23, issue.1, pp.127-134, 1993.
DOI : 10.1145/174134.158475

K. S. Perumalla, Parallel and Distributed Simulation: Traditional Techniques and Recent Advances, Proceedings of the 2006 Winter Simulation Conference, pp.84-95, 2006.
DOI : 10.1109/WSC.2006.323041

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

A. Pritsker and B. Alan, The basics of GASP II, Proceedings of the 5th conference on Winter simulation , WSC '71, pp.405-408, 1971.
DOI : 10.1145/800294.811464

. Puschner, . Peter, and A. Burns, Guest Editorial, Real-Time Systems, vol.30, issue.1-2, pp.115-128, 2000.
DOI : 10.1007/s11241-005-0501-2

F. Paul and J. Reynolds, A spectrum of options for parallel simulation, WSC '88: Proceedings of the 20th conference on Winter simulation (, pp.325-332, 1988.

. R\-"-{o}nngren, . Robert, and . Ayani, Adaptive checkpointing in Time Warp, SIGSIM Simul. Dig, vol.24, pp.110-117, 1994.

L. Sha, . Abdelzaher, K. Tarek-;-aarzén, . Cervin, . Anton et al., Real Time Scheduling Theory: A Historical Perspective. Real-Time Syst, pp.101-155, 2004.
DOI : 10.1023/b:time.0000045315.61234.1e

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

R. ;. Simmonds, . Bradford, and B. Unger, Applying parallel discrete event simulation to network emulation, Proceedings Fourteenth Workshop on Parallel and Distributed Simulation, pp.15-22, 2000.
DOI : 10.1109/PADS.2000.847140

L. M. Sokol, J. B. Weissman, and P. A. Mutchler, MTW: an empirical performance study, 1991 Winter Simulation Conference Proceedings., pp.557-563, 1991.
DOI : 10.1109/WSC.1991.185659

K. Tapas, . Som, G. Robert, and . Sargent, A probabilistic event scheduling policy for optimistic parallel discrete event simulation, SIGSIM Simul. Dig, vol.28, issue.1, pp.56-63, 1998.

J. Steinman, SPEEDES: Synchronous parallel environment for emulation and discrete event simulation Advances in Parallel and Distributed Simulation, SCS Simulation Series, vol.23, pp.95-103, 1991.

J. S. Steinman, Interactive SPEEDES, ACM SIGSIM Simulation Digest, vol.21, issue.3, pp.149-158, 1991.
DOI : 10.1145/106073.306852

J. S. Steinman, Discrete-event simulation and the event horizon, PADS '94: Proceedings of the eighth workshop on Parallel and distributed simulation, pp.39-49, 1994.

J. S. Steinman, C. A. Lee, L. F. Wilson, and D. M. Nicol, Global Virtual Time and distributed synchronization, ACM SIGSIM Simulation Digest, vol.25, issue.1, pp.139-148, 1995.
DOI : 10.1145/214283.214324

B. Steux, RTMaps, un environnement logiciel dédié à la conception d'applications embarquées temps-réel. Utilisation pour la détection automatique de véhicules par fusion radar / vision, 2001.

B. Steux and O. Hamzaoui, tinySLAM : a SLAM Algorithm in less than 200 lines of C code, International Conference on Control, Automation, Robotics and Vision (ICARCV), p.p, 2010.

Y. Tang, . Perumalla, S. Kalyan, R. M. Fujimoto, . Karimabadi et al., Optimistic Parallel Discrete Event Simulations of Physical Systems Using Reverse Computation, Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation (PADS '05, pp.26-35, 2005.

J. G. Vaucher and P. Duval, A comparison of simulation event list algorithms, Communications of the ACM, vol.18, issue.4, pp.223-230, 1975.
DOI : 10.1145/360715.360758

D. West, Optimizing Time Warp: Lazy rollback and lazy reevaluation, 1988.

R. ;. Wilhelm, J. ;. Engblom, . Ermedahl, . Holsti, . Niklas et al., Stenstr\"{o}m, Per. The worstcase execution-time problem\?overview of methods and survey of tools

Z. Xiao, B. Unger, R. Simmonds, and J. Cleary, Scheduling critical channels in conservative parallel discrete event simulation, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155), pp.20-28, 1999.
DOI : 10.1109/PADS.1999.766157

J. Zhang, . Lei, and C. Tropper, The dependence list in time warp, Proceedings of the fifteenth workshop on Parallel and distributed simulation (PADS '01, pp.35-45, 2001.

Y. A. Zhao-;-e, ;. J. Lee, and . Liu, Programming temporally integrated distributed embedded systems, pp.2006-82, 2006.

Y. Zhao, . Liu, . Lee, and A. Edward, A Programming Model for Time-Synchronized Distributed Real-Time Systems, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07), pp.259-268, 2007.
DOI : 10.1109/RTAS.2007.5