Rapporteurs : Françoise Simonot-Lion (M.C. INPL-ENSEM) et Francis Cottet (Prof. ENSMA) Examinateurs : Jean Camillerapp (Prof. INSA Rennes), Claude Kaiser (Prof. CNAM), et Michel Banâtre (D.R. INRIA)A real-time computing system is one whose correctness depends on both the logical and the temporal properties of its computations. In this thesis, we propose a simulation tool to evaluate such systems. It may be used as a complement to safe static analysis methods, especially when the temporal behavior of the system or that of its environment is not fully characterized. We made this tool as customizable as possible, provided it with the capacity to reuse existing application code, tried to make it efficient, and allowed the simulated temporal beh...
La simulation à événements discrets (SED) est une technique dans laquelle le simulateur joue une his...
Real time systems are usually defined as systems where the total correctness of an operation depends...
Presented during the Work-in-Progress session (WiP session)International audienceIn this paper, we p...
Rapporteurs : Françoise Simonot-Lion (M.C. INPL-ENSEM) et Francis Cottet (Prof. ENSMA) Examinateurs ...
Les systèmes embarqués temps réel nécessitent une analyse temporelle pour valider leur comportement ...
These last years have seen the multiplication of computer models, in particular agent-based models, ...
La validation temporelle des systèmes temps réel est nécessaire dans le cadre d’applications critiqu...
La simulation numérique, c'est-à-dire l'utilisation des ordinateurs pour exécuter un programme physi...
Real-time embedded systems need to be analyzed at an early stage in order to detect temporal vulnera...
Les systèmes temps-réels sont des systèmes qui sont soumis à "des contraintes de temps", comme par e...
La conception de systèmes embarqués s appuie fortement sur la simulation pour évaluer et valider des...
International audienceThis article presents an extension of the simulator SimSo in order to integrat...
STORM est un outil de simulation destiné à l'analyse du comportement et l'évaluation de performances...
La validation des systèmes Mécatroniques tels que la supervision d'une chaînede traction hybride uti...
Les systèmes embarqués en temps réel (RTES) sont soumis à des contraintes temporelles. Dans ces syst...
La simulation à événements discrets (SED) est une technique dans laquelle le simulateur joue une his...
Real time systems are usually defined as systems where the total correctness of an operation depends...
Presented during the Work-in-Progress session (WiP session)International audienceIn this paper, we p...
Rapporteurs : Françoise Simonot-Lion (M.C. INPL-ENSEM) et Francis Cottet (Prof. ENSMA) Examinateurs ...
Les systèmes embarqués temps réel nécessitent une analyse temporelle pour valider leur comportement ...
These last years have seen the multiplication of computer models, in particular agent-based models, ...
La validation temporelle des systèmes temps réel est nécessaire dans le cadre d’applications critiqu...
La simulation numérique, c'est-à-dire l'utilisation des ordinateurs pour exécuter un programme physi...
Real-time embedded systems need to be analyzed at an early stage in order to detect temporal vulnera...
Les systèmes temps-réels sont des systèmes qui sont soumis à "des contraintes de temps", comme par e...
La conception de systèmes embarqués s appuie fortement sur la simulation pour évaluer et valider des...
International audienceThis article presents an extension of the simulator SimSo in order to integrat...
STORM est un outil de simulation destiné à l'analyse du comportement et l'évaluation de performances...
La validation des systèmes Mécatroniques tels que la supervision d'une chaînede traction hybride uti...
Les systèmes embarqués en temps réel (RTES) sont soumis à des contraintes temporelles. Dans ces syst...
La simulation à événements discrets (SED) est une technique dans laquelle le simulateur joue une his...
Real time systems are usually defined as systems where the total correctness of an operation depends...
Presented during the Work-in-Progress session (WiP session)International audienceIn this paper, we p...