Actes de l'Ecole d'Eté Temps Réel 2005 - ETR'2005

Pdf des actes disponible à l'URL http://etr05.loria.fr/Le programme de l'Ecole d'été Temps Réel 2005 est construit autour d'exposés de synthèse donnés par des spécialistes du monde industriel et universitaire qui permettront aux participants de l'ETR, et notamment aux doctorants, de se forger une culture scientifique dans le domaine. Cette quatrième édition est centrée autour des grands thèmes d'importance dans la conception des systèmes temps réel : Langages et techniques de description d'architectures, Validation, test et preuve par des approches déterministes et stochastiques, Ordonnancement et systèmes d'exploitation temps réel, Répartition, réseaux temps réel et qualité de service

Conférence Nationale d'Intelligence Artificielle Année 2020

National audienc

CORPORATE SOCIAL RESPONSIBILITY IN ROMANIA

The purpose of this paper is to identify the main opportunities and limitations of corporate social responsibility (CSR). The survey was defined with the aim to involve the highest possible number of relevant CSR topics and give the issue a more wholesome perspective. It provides a basis for further comprehension and deeper analyses of specific CSR areas. The conditions determining the success of CSR in Romania have been defined in the paper on the basis of the previously cumulative knowledge as well as the results of various researches. This paper provides knowledge which may be useful in the programs promoting CSR.Corporate social responsibility, Supportive policies, Romania

Représentation, modélisation et génération procédurale de terrains

Slides disponiblesSoutenance oral (présentation + questions) disponible sur demandeThis PhD (entitled "Representation, modelisation and procedural generation of terrains") is related to movie and videogames digital content creation, especially natural scenes.Our work is dedicated to handle and to generate landscapes efficently. We propose a new model based on a construction tree inside which the user can handle parts of the terrain intuitively. We also present techniques to efficently visualize such model. Finally, we present a new algorithm for generating large-scale terrains exhibiting hierarchical structures based on their hydrographic networks: elevation is generated in a broad compliance to water-tansport principles without having to resort on costly hydraulic simulations.Cette thèse (qui a pour intitulé "Représentation, modélisation et génération procédurale de terrains") a pour cadre la génération de contenus numériques destinés aux films et aux jeux-vidéos, en particulier les scènes naturelles.Nos travaux visent à représenter et à générer des terrains. Nous proposons, en particulier, un nouveau modèle de représentation qui s'appuie sur un arbre de construction et qui va permettre à l'utilisateur de manipuler des morceaux de terrain de façon intuitive. Nous présentons également des techniques pour visualiser ce modèle avec un maximum d'efficacité. Enfin nous développons un nouvel algorithme de génération de terrains qui construit de très grands reliefs possédant des structures hiérarchiques découlant d'un réseau hydrographique : le relief généré est conforme aux grands principes d'écoulement des eaux sans avoir besoin d'utiliser de coûteuses simulations d'érosion hydrique

Méthodes logico-numériques pour la vérification des systèmes discrets et hybrides

Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et numériques et des comportements discrets et continus. Notre approche est fondée sur l'analyse statique par interprétation abstraite. Nous adressons les problèmes suivants : les méthodes d'interprétation abstraite numériques exigent l'énumération des états booléens, et par conséquent, ils souffrent du probléme d'explosion d'espace d'états. En outre, il y a une perte de précision due à l'utilisation d'un opérateur d'élargissement afin de garantir la terminaison de l'analyse. Par ailleurs, nous voulons rendre les méthodes d'interprétation abstraite accessibles à des langages de simulation hybrides. Dans cette thèse, nous généralisons d'abord l'accélération abstraite, une méthode qui améliore la précision des invariants numériques inférés. Ensuite, nous montrons comment étendre l'accélération abstraite et l'itération de max-stratégies à des programmes logico-numériques, ce qui aide à améliorer le compromis entre l'efficacité et la précision. En ce qui concerne les systèmes hybrides, nous traduisons le langage de programmation synchrone et hybride Zelus vers les automates hybrides logico-numériques, et nous étendons les méthodes d'analyse logico-numérique aux systèmes hybrides. Enfin, nous avons mis en oeuvre les méthodes proposées dans un outil nommé ReaVer et nous fournissons des résultats expérimentaux. En conclusion, cette thèse propose une approche unifiée à la vérification de systèmes logico-numériques discrets et hybrides fondée sur l'interprétation abstraite qui est capable d'intégrer des méthodes d'interprétation abstraite numériques sophistiquées tout en améliorant le compromis entre l'efficacité et la précision.This thesis studies the automatic verification of safety properties of logico-numerical discrete and hybrid systems. These systems have Boolean and numerical variables and exhibit discrete and continuous behavior. Our approach is based on static analysis using abstract interpretation. We address the following issues: Numerical abstract interpretation methods require the enumeration of the Boolean states, and hence, they suffer from the state space explosion problem. Moreover, there is a precision loss due to widening operators used to guarantee termination of the analysis. Furthermore, we want to make abstract interpretation-based analysis methods accessible to simulation languages for hybrid systems. In this thesis, we first generalize abstract acceleration, a method that improves the precision of the inferred numerical invariants. Then, we show how to extend abstract acceleration and max-strategy iteration to logico-numerical programs while improving the trade-off between efficiency and precision. Concerning hybrid systems, we translate the Zelus hybrid synchronous programming language to logico-numerical hybrid automata and extend logico-numerical analysis methods to hybrid systems. Finally, we implemented the proposed methods in ReaVer, a REActive System VERification tool, and provide experimental results. Concluding, this thesis proposes a unified approach to the verification of discrete and hybrid logico-numerical systems based on abstract interpretation, which is capable of integrating sophisticated numerical abstract interpretation methods while successfully trading precision for efficiency.SAVOIE-SCD - Bib.électronique (730659901) / SudocGRENOBLE1/INP-Bib.électronique (384210012) / SudocGRENOBLE2/3-Bib.électronique (384219901) / SudocSudocFranceF

Numerical modeling of flow and solute transport phenomena in subsurface and coupled surface-subsurface hydrology

The overall aim of the work described in this thesis is to bring a number of contributions to hydrology and hydrological modeling in the framework of a specific physically-based numerical model for integrated surface subsurface and flow-transport processes, the CATchment-HYdrology Flow-Transport (CATHY_FT) model. These contributions revolve around three main themes: the enhancement of the numerical performance of hydrological models for flow and transport phenomena, the improvement of our current understanding of complex boundary conditions in order to reduce the errors associated with their modeling, and the testing and benchmarking of distributed physically-based models for groundwater flow and transport processes. The work to achieve the general objective is elaborated into four stages. First, the Larson-Niklasson post-processing algorithm is implemented in CATHY_FT to reconstruct mass-conservative velocities from a linear, or P1, Galerkin solution of Richards' equation. This is done to improve the accuracy and mass balance properties of the companion advective transport model (finite volume-based), which rely on accurate velocity fields as input. Through a comparison between the results from the reconstructed velocities and the P1 Galerkin velocities, it is shown that a locally mass-conservative velocity field is necessary to obtain accurate transport results. Second, a detailed and novel analysis of the behavior of seepage face boundaries is performed with the flow model of CATHY_FT. The numerical simulations examine the model's performance under complex conditions such as heterogeneity and coupled surface/subsurface flow. It is shown that the overall numerical solution can be greatly affected by the way seepage face boundaries are handled in hydrological models and that careful considerations are required when using simple approximations, in the presence of heterogeneous slopes, and for seepage faces forming on a portion of the land surface. Third, CATHY_FT is implemented and run at the Landscape Evolution Observatory of the Biosphere 2 facility, Arizona. A detailed modeling analysis is performed of the experimental data collected during an isotope tracer experiment and from an intensively-measured hillslope, including quantity and quality of groundwater discharge and point-scale flow and transport data. This flow and tracer data is used to incrementally explore complex phenomena and associated hypotheses (e.g., heterogeneity, fractionation, and dispersion), progressing from flow to transport and from integrated to point-scale response analysis. This incremental approach highlights the challenges in testing and validating the new generation of integrated hydrological models when considering many types and levels of observation data. Finally, a concluding analysis is performed that relates to all three themes of the thesis, describing some of the features of the CATHY_FT model, discussing key issues associated to its further development, and testing its physical and numerical behavior for both real and synthetic scenarios. This final stage of the thesis addresses the myriad challenges faced in accurately and efficiently resolving the difficult behavior of the advection-dispersion equation for subsurface solute transport, in properly handling the complex boundary conditions for solute interactions across the land surface, and generally in capturing process interactions and feedbacks between flow and transport phenomena in surface and subsurface environments

De l'amont vers l'aval : à la poursuite de l'eau qui court

Les travaux présentés traitent principalement des phénomènes à l’origine de la genèse des crues soudaines : quels sont-ils et comment les modéliser pour mieux les prévoir ? Sont ainsi abordés les outils développés dans ce cadre : un modèle pluie-débit dédié à la simulation des crues soudaines et les techniques mathématiques d’appui à la modélisation que sont les analyses de sensibilité et l’estimation de paramètres. Viennent ensuite les évolutions successives du modèle hydrologique, développements déterminés par les résultats d’application sur des sites d’étude présentant des caractéristiques variées et sur lesquels différents types d’observation sont disponibles. L’estimation des incertitudes inhérentes à la chaîne de modélisation et une étude de régionalisation des paramètres du modèle sur les bassins versants non jaugés sont enfin détaillées, avant une discussion sur les avancées significatives de ces travaux et l’exposé des perspectives de recherche

Etude énergétique des instabilités thermo-acoustiques et optimisation génétique des cinétiques réduites.

Les chambres de combustion des turbines à gaz fonctionnent maintenant souvent dans un mode de combustion prémélangée pauvre. Cette technologie s'est rendue indispensable pour limiter les émissions polluantes (en particulier les oxydes d'azote), et ainsi satisfaire aux normes antipollution. Néanmoins l'adoption de mode de combustion prémélangée pauvre réduit considérablement la marge de stabilité de flammes en les rendant sensibles aux perturbations de l'écoulement. L'apparition d'instabilités de combustion dans ces brûleurs est alors devenu un problème récurrent pour les concepteurs. Les méthodes de contrôle actif de ces instabilités ont permis de maintenir en fonctionnement les turbines d'ancienne génération convertie au mode prémélangé. La conception et la mise au point des nouvelles turbines doit s'affranchir de ces systèmes de contrôle et offrir une stabilité naturelle par un dessin approprié. La prédiction et l'étude des instabilités de combustion restent des champs ouverts de la recherche, car il est pour l'heure toujours impossible de garantir totalement la stabilité d'une chambre nouvellement conçue. Les méthodes de simulation instationnaires ont maintenant atteint un niveau de maturité qui leur permet de rendre compte des principaux phénomènes intervenant dans l'apparition d'instabilités de combustion. La simulation aux grandes échelles (LES) devient un outil de simulation précis et performant, capable de capturer les instabilités de combustion. Sa précision repose pour partie sur certains modèles. Pour cela, cette thèse traite en partie de la modélisation de la chimie. L'optimisation des schémas cinétiques permet d'obtenir la précision requise sur les taux de combustion dans les simulations réactives en géométrie complexe. En outre, cette étude met en avant la capacité de la LES réactive compressible à capturer des instabilités thermo-acoustiques. L'analyse du bilan énergétique de l'acoustique met au premier plan l'importance de la prise en compte des impédances acoustiques aux entrées et sorties de la chambre. ABSTRACT : Gas turbine burners are now widely operated in lean premixed combustion mode. This technology has been introduced in order to limit pollutants emissions (especially the NOx), and thus comply with environment norms. Nevertheless, the use of lean premixed combustion decreases the stability margin of the flames. The flames are then more prone to be disturbed by flow disturbances. Combustion instabilities are then a major problem of concern for modern gas turbine conception. Some active control systems have been used to ensure stability of gas turbines retrofitted to lean premixed combustion. The current generation of gas turbines aims to get rid of these control devices getting stability by a proper design. To do so, precise and adapted numerical tools are needed even it is impossible at the moment to guarantee the absolute stability of a combustion chamber at the design stage. Simulation tools for unsteady combustion are now able to compute the whole combustion chamber. Its intrinsic precision, allows the Large Eddy Simulation (LES) to take into account numerous phenomena involved in combustion instabilities. Chemical modelling is an important element for the precision of reactive LES. This study includes the description of an optimisation tools for the reduced chemical kinetics. The capacity of the LES to capture combustion instabilities in gas turbine chamber is also demonstrated. The acoustic energy analysis points out that the boundary impedances of the combustion systems are of prime importance for their stability

Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce

Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis. Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile. Ainsi, nous pensons qu’il est primordial de partir sur de meilleures bases en utilisant un modèle de concurrence plus efficace. Par conséquent, dans cette thèse, nous étudions une méthodologie de conception qui offre une meilleure abstraction pour modéliser des composants parallèles en se basant sur le concept de transaction. Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d’appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau. Dans le but d’évaluer l’efficacité de cette méthodologie, nous avons fixé l’objectif d’optimiser la vitesse de simulation d’un modèle transactionnel en profitant d’une machine multicoeur. Nous présentons ainsi l’environnement de modélisation et de simulation parallèle que nous avons développé. Nous étudions différentes stratégies d’ordonnancement en matière de parallélisme et de surcoût de synchronisation. Une expérimentation faite sur un modèle du transmetteur Wi-Fi 802.11a a permis d’atteindre une accélération d’environ 1.8 en utilisant deux threads. Avec 8 threads, bien que la charge de travail des différentes transactions n’était pas importante, nous avons pu atteindre une accélération d’environ 4.6, ce qui est un résultat très prometteur.With the increasing complexity of SoCs, new challenges continue to emerge in the design of these systems in terms of formal verification and high-level synthesis. Several research efforts around SystemC, considered the de facto standard for system-level design, are underway to meet these new challenges. However, because of the complex concurrency model of SystemC, these challenges remain difficult tasks. Thus, we believe it is important to continue on a better footing by using a more effective concurrency model. Therefore, in this thesis, we study a design methodology that provides a better abstraction for modeling parallel components based on the concept of transaction. We show how, through simple reasoning about transactions, it becomes easier to apply formal verification, incremental refinement and high-level synthesis. In order to evaluate the effectiveness of this methodology, we set the goal to optimize the simulation speed of a transactional model by taking advantage of a multicore machine. We present a modeling and parallel simulation environment that we developed. We study different scheduling strategies in terms of parallelism and synchronization overhead. An experiment made on a Wi-Fi 802.11a transmitter model achieved a speed up of about 1.8 using two threads. With 8 threads, although the workload of individual transactions was not significant, we could reach a speed up equal to 4.6 which is a very promising result