Search

Le temps, avec les nombreux rôles qu’il joue et ses différentes facettes, constitue un enjeu majeur dans le champ de la politique. Mais ni la science politique en général ni les études sur la démocratie en particulier n’y ont jusqu’à aujourd’hui prêté une attention explicite et systématique. Le présent article ébauche de façon exploratoire certaines questions de fond qui pourraient (et devraient) être traitées dans le cadre de recherches futures sur le temps politique : la construction des horizons temporels démocratiques (avenir et passé), la nature du temps présent des démocraties, le poids des contraintes temporelles, la puissance des règles du temps institutionnel, le choix des stratégies temporelles et pour finir, la logique des discours sur le temps dans la politique démocratique. Time with its many roles and faces is a major player in the field of politics. But up to now, neither political science in general nor studies of democracy in particular have taken explicit and systematic notice of it. The present explorative article outlines some core questions that could (and should) be addressed by future research on political time: the construction of democratic time horizons (future and past), the nature of democracies' current present, the weight of time constraints, the force of institutional time rules, the choice of time strategies, and last but not least, the logic of time discourses in democratic polities. El tiempo, con sus múltiples funciones y facetas, es una cuestión importante en el ámbito de la política. Pero ni la ciencia política en general ni los estudios sobre la democracia en particular le han prestado hasta ahora una atención explícita y sistemática. Este artículo esboza de forma exploratoria algunas cuestiones básicas que podrían (y deberían) abordarse en futuras investigaciones sobre el tiempo político: la construcción de horizontes temporales democráticos (futuros y pasados), la naturaleza del tiempo presente de las democracias, el peso de las restricciones temporales, el poder de las reglas temporales institucionales, la orientación hacia ciertas estrategias temporales y, por último, la lógica de los discursos temporales en la política democrática.

International audience; In this paper, a new technique is proposed for trajectory tracking of a flexible spacecraft subject to angular velocity constraints. The problem is addressed using an output to input saturation transformation (OIST) which converts the prescribed bounds into state-dependent saturations on the control input signals. It is shown that an interval observer can be used in combination with the OIST technique to ensure that the constraints remain satisfied despite unmeasured flexible modes and torque disturbances. Some realistic simulations conclude the paper and validate our approach.; Dans cet article, une nouvelle technique est proposée pour le suivi de trajectoire d'un engin spatial flexible soumis à des contraintes de vitesse angulaire. Le problème est abordé à l'aide d'une transformation de saturation de sortie en entrée (OIST) qui convertit les bornes prescrites en saturations dépendantes de l'état sur les signaux d'entrée de commande. Il est démontré qu'un observateur d'intervalle peut être utilisé en combinaison avec la technique OIST pour s'assurer que les contraintes restent satisfaites malgré des modes flexibles non mesurés et des perturbations de couple. Quelques simulations réalistes concluent l'article et valident notre approche.

Increasing profits, through the improvement of productivity and minimizing waste, is a primary objective for industrial companies. In this thesis, we are interested insolving a real complex industrial problem with time constraints. Firstly, we were interested in minimizing completion time (Cmax). Secondly, we focused on minimizing of non-recyclable waste. As a first step, we formulated the problem by mathematical models, which we solved using a solver. In a second step, we proposed an approximate method in the form of evolutionary algorithms. Both methods were applied to the two objectives mentioned above separately. Then, a third method which is a tree-search algorithm was applied only to the main objective. We tested the proposed algorithms on instances inspired from a real case; from an agri-food business, and also on instances inspired from the literature.; L’accroissement des profits, à travers l’amélioration de la productivité et la réduction des pertes de matières, représente un objectif primordial pour les entreprises industrielles. Dans cette thèse, nous nous intéressons à la résolution d’un problème industriel complexe réel avec des contraintes de temps. Nous nous sommes intéressés, tout d’abord, à un objectif principal, soit la minimisation des dates de fin de production, suivi d’un objectif secondaire qui est la minimisation des quantités de déchets non recyclables. Dans un premier temps, nous avons modéliséle problème par des modèles mathématiques, que nous avons résolu à l’aide d’un solveur. Dans un second temps, nous avons proposé une méthode approchée en forme d’algorithmes évolutionnistes. Cette méthode est appliquée aux deux objectifs mentionnés ci-dessus séparément. Une troisième méthode est ensuite appliquée à l’objectif principal, à savoir une méthode arborescente approchée. Nous avons testé les algorithmes proposés sur des instances inspirées d’un cas réel ; issues d’une entreprise du secteur agroalimentaire et sur des instances inspirées de la littérature.

Increasing profits, through the improvement of productivity and minimizing waste, is a primary objective for industrial companies. In this thesis, we are interested insolving a real complex industrial problem with time constraints. Firstly, we were interested in minimizing completion time (Cmax). Secondly, we focused on minimizing of non-recyclable waste. As a first step, we formulated the problem by mathematical models, which we solved using a solver. In a second step, we proposed an approximate method in the form of evolutionary algorithms. Both methods were applied to the two objectives mentioned above separately. Then, a third method which is a tree-search algorithm was applied only to the main objective. We tested the proposed algorithms on instances inspired from a real case; from an agri-food business, and also on instances inspired from the literature.; L’accroissement des profits, à travers l’amélioration de la productivité et la réduction des pertes de matières, représente un objectif primordial pour les entreprises industrielles. Dans cette thèse, nous nous intéressons à la résolution d’un problème industriel complexe réel avec des contraintes de temps. Nous nous sommes intéressés, tout d’abord, à un objectif principal, soit la minimisation des dates de fin de production, suivi d’un objectif secondaire qui est la minimisation des quantités de déchets non recyclables. Dans un premier temps, nous avons modéliséle problème par des modèles mathématiques, que nous avons résolu à l’aide d’un solveur. Dans un second temps, nous avons proposé une méthode approchée en forme d’algorithmes évolutionnistes. Cette méthode est appliquée aux deux objectifs mentionnés ci-dessus séparément. Une troisième méthode est ensuite appliquée à l’objectif principal, à savoir une méthode arborescente approchée. Nous avons testé les algorithmes proposés sur des instances inspirées d’un cas réel ; issues d’une entreprise du secteur agroalimentaire et sur des instances inspirées de la littérature.

In numerous applications such as those of medical and embedded domains, images authentication requires taking into account time constraints, embedding rate, perceptual quality and robustness against various attacks. Watermarking has been proposed as a complementary approach to cryptography, for improving the security of digital images. Watermarking can be applied either in the spatial domain on the pixels of the image, or in the frequency domain on the coefficient of its transform.In this thesis, the goal is to propose image watermarking approaches that make it possible to ensure high level of imperceptibility and robustness while maintaining a level of computational complexity fitting the requirements of time-constrained applications. The method adopted in this thesis has consisted, on the one hand, to rely on the benefit of zero-watermarking that does not degrade the perceptual quality of image data and has low computational complexity, and on the other hand, to analyze visual characteristics of digital image (characteristics that are correlated to the Human Visual System - HVS) in order to identify the locations the most adapted for embedding the watermark with good level of imperceptibility and robustness. A zero-watermarking has therefore been proposed in this thesis, as well as several watermarking approaches based on the analysis of visual characteristics of image and on artificial intelligence or related techniques. The proposed solutions have been analyzed with respect to imperceptibility, robustness and temporal performance and the results have shown significant improvements in comparison to existing approaches.; Dans de nombreuses applications dont celles du domaine médical et de l’embarqué, l’authentification des images nécessite de prendre en compte les contraintes temporelles, le taux d’insertion, la qualité visuelle et la robustesse contre différentes attaques. Le tatouage a été proposé comme approche complémentaire à la cryptographie pour l’amélioration de la sécurité des images. Il peut être effectué soit dans le domaine spatial sur les pixels de l’image, soit dans le domaine fréquentiel sur les coefficients de sa transformée. Dans cette thèse, le but est de proposer des approches de tatouage permettant d’assurer un niveau élevé d’imperceptibilité et de robustesse, tout en maintenant un niveau de complexité répondant aux exigences d’applications soumises à des contraintes temporelles. La démarche adoptée a consisté, d’une part, à s’appuyer sur les bénéfices du zéro-tatouage (zero-watermarking) qui ne change pas la qualité perceptuelle de l’image et qui a une faible complexité computationnelle, et d’autre part, à analyser les caractéristiques visuelles de l’image afin de détecter les zones les plus adaptées pour insérer la marque avec un bon niveau d’imperceptibilité et une bonne robustesse. Une approche de zéro-tatouage a ainsi été proposée dans cette thèse, ainsi que plusieurs approches de tatouage basées sur l’analyse de caractéristiques visuelles de l’image et sur des techniques d’intelligence artificielles ou connexes.Les solutions proposées ont été analysées du point de vue de l’imperceptibilité, de la robustesse et de la performance temporelle et les résultats d’analyses ont montré qu’elles apportent des améliorations significatives par rapport aux approches existantes.

International audience; Temporal information proves to be prominent in many scientific problems. As regards Geography, temporal concerns are often in long or mean term interaction with spatial aspects and calendar issues. Practical and theoretical approaches necessarily cross-reference various viewpoints from several scientific communities. The use of formal models is a means to make languages and practices more accurate and efficient, hence leading to more efficiency (consistency, correction, reusability…). The will to access larger, more and more complex and heterogeneous pieces of information, leads to master the way to populate and query data warehouses and knowledge bases. With several paradigms, computer science, provides models which can express and help solving many current and forthcoming problems. This paper gives an overview of the state of art in the matter of temporal modelling, accompanied with some meta-model instances and some insight into practical applications.; Les informations temporelles jouent un rôle important dans une grande majorité de problèmes scientifiques. En géographie, l'interaction avec les aspects spatiaux et la référence à des calendriers sur de longues périodes est fréquente. Les approches théoriques ou expérimentales croisent nécessairement différents points de vue de plusieurs communautés scientifiques. Pour préciser et unifier les langages et les pratiques, l'utilisation systématique de modèles plus ou moins formels est une garantie d'efficacité (cohérence, correction, réutilisation, etc.). L'accès à des masses toujours plus importantes d'informations complexes et hétérogènes, la volonté de capitalisation des résultats nécessitent le peuplement et l'interrogation d'entrepôts de données et de bases de connaissance. L'informatique produit des modèles qui permettent de formuler et de résoudre un grand nombre de questions en la matière. Le présent article donne un état de l'art sur le sujet ainsi que des exemples de modèles assortis de références à des travaux applicatifs.

Actes du colloque sur le thème « L'arbitrage international dans l'Océan Indien », Colloque organisé par le Centre d'arbitrage et de médiation de Madagascar en partenariat avec l'université catholique de Madagascar, Antananarivo, Madagascar, 18, 19 et 20 octobre 2016; International audience

Faire de la sociologie, un parcours d’enquête, que Claude Dubar fait paraître en 2006, est un livre précieux à de nombreux égards. Regard réflexif sur la trajectoire d’un garçon du Nord qui fait œuvre de sociologue, l’ouvrage défend aussi une position épistémologique originale. Il tranche avec les représentations habituelles qui considèrent le champ de la sociologie comme un lieu de bataille rangée entre paradigmes alternatifs. La sociologie est plurielle dans ses conceptions comme dans ses m...

Le devenir socioprofessionnel des ex-apprentis footballeurs est un phénomène social encore insuffisamment analysé à ce jour. Les différents travaux de Frédéric Rasera (2010 ; 2014), explorant les conditions sociales individuelles de la recomposition vocationnelle chez un ex-apprenti footballeur, font office d’exception. Face à ce constat, cet article entend contribuer à la réflexion portant sur ces jeunes sportifs. À travers l’étude des trajectoires d’une vingtaine d’ex-apprentis footballeurs, nous verrons qu’il est possible de trouver des similarités biographiques caractérisant leur processus de recomposition vocationnelle. Plus précisément, nous montrerons qu’une analyse en termes de temporalités vécues (Dubar, 2014) permet de dévoiler la résurgence de quatre séquences de vie (choc, persévérance, dilemme et metanoïa) au cours de leur recomposition vocationnelle, révélant ainsi, les dimensions collectives de ce processus. To date, the professional future of ex-apprentice footballers, rejected by French academies, is a little-analyzed social phenomenon. The research carried out by Frederic Rasera (2010 ; 2014), exploring the individual, social conditions of vocation rebuilding by an ex-apprentice footballer, stands out as an exception. The present article means to contribute to the reflection relating to these young sportsmen. Through the study of the trajectories of twenty ex-apprentice footballers, we will see that it is possible to find biographical similarities characterizing their vocation rebuilding process. More precisely, we will show that an analysis in terms of lived temporalities (Dubar, 2014) makes it possible to reveal the resurgence of four life sequences (shock, perseverance, dilemma and metanoia) during their vocation rebuilding, thus revealing the collective dimensions attached to the process. El devenir socio-profesional de los ex-aprendices futbolistas es un fenómeno social escasamente analizado. Los trabajos de Frédéric Rasera (2010; 2014), que abordan las condiciones sociales de la recomposición vocacional a escala individual, son una excepción. Ante la evidencia de estas lagunas, el artículo busca contribuir a la reflexión sobre la experiencia de estos jóvenes atletas gracias al examen de una veintena de trayectorias de ex-aprendices futbolistas. Veremos que es posible hallar similitudes biográficas características de los procesos de recomposición vocacional. Más precisamente, mostraremos que desarrollar un análisis en términos de temporalidades vividas (Dubar, 2014) permite dar con el surgimiento de cuatro secuencias de vida (shock, perseverancia, dilema y metanoia). Asimismo, daremos cuenta de las dimensiones colectivas de dichos procesos de recomposición vocacional.

À travers une enquête qualitative par entretiens menée auprès des sportifs de haut niveau de l’INSEP, nous nous intéressons à leur rythme de vie qui articule des temps nombreux et variés : temps sportif (entraînement, préparation, compétition), temps scolaire ou universitaire, temps professionnel, temps de récupération, temps de loisir privé et social, etc. Dans ce contexte il apparaît que leur temps objectif (l’organisation de leur emploi du temps) et leur temps subjectif (le vécu de celui-ci) ne coïncident pas toujours. Nous identifions à la fois une capacité générale de ces sportifs à gérer une organisation temporelle particulièrement chargée (dont ils sont souvent demandeurs), mais aussi de profondes variations d’un profil de sportif à l’autre, d’où l’idée d’une construction sociale du temps subjectif. Après avoir présenté l’organisation objective des temps à l’INSEP, nous analysons le poids de plusieurs facteurs sportifs et extra-sportifs pour expliquer cette disjonction et comprendre quels éléments ont tendance à favoriser un meilleur vécu d’un emploi du temps objectivement chargé. Cela nous conduit à ouvrir la discussion sur la conception des différentes temporalités de la préparation des sportifs qui demeure floue, entre temps de travail et temps de loisir. Cette préparation s’inscrit elle-même dans un contexte institutionnel spécifique : la construction du rythme de vie de ces sportifs est alors la recherche d’un compromis entre temps collectif (et contraignant) et temps individuel (et maîtrisé). This article is based on a qualitative survey (interviews) conducted among elite athletes of the French National Sports Institute (INSEP). Their pace of life is composed of various temporalities: sports (training and competing), studying, working, recovering, leisure time, and so on. It therefore appears that objective time (meaning the organization of their timetables) does not always correspond to subjective time (how they experience it). We think elite athletes are generally capable of handling a very busy schedule (which they usually find desirable). But we also become aware of the particularities of different profiles of athletes which lead us to identify sociological factors (both related and unrelated to sports) in order to comprehend how their subjective time is socially constructed. We first present the objective organization of the timetables at INSEP and then focus on various elements which may improve how an objectively very busy timetable is actually experienced. This allows us to discuss whether elite athletes’ preparation time is considered working time or free time. Moreover, their pace of life is generated at the intersection of an institutional, collective and coercitive temporality, on the one hand, of individual and self-controlled time, on the other hand. A partir de una investigación cualitativa basada en entrevistas, abordamos el ritmo de vida de deportistas de alto nivel del INSEP (Institut national du sport, de l’expertise et de la performance – Francia). Dicho ritmo articula numerosos y variados tiempos: deportivo (entrenamiento, preparación, competición), escolar o universitario, profesional, de recuperación, de esparcimiento privado y social, etc. En este marco, observamos que el tiempo objetivo (el de la organización de su agenda) y el tiempo subjetivo (el de la vivencia del tiempo) no siempre concuerdan. Si bien los deportistas estudiados tienen la capacidad de manejar una organización temporal particularmente densa (que ellos mismos reclaman), también existen variaciones profundas entre los diferentes perfiles. Por eso hablamos aquí de construcción social del tiempo subjetivo. Presentaremos en primer lugar la organización objetiva de los tiempos en el INSEP, y luego analizaremos el peso de distintos factores (deportivos y extra-deportivos) que explican los mencionados desacuerdos e identificaremos los elementos tendientes a favorecer una mejor vivencia de las agendas. En este marco, discutimos la concepción de las diferentes temporalidades en la preparación de los deportistas, concepción aún escasamente definida, especialmente respecto del tiempo de trabajo y del tiempo de esparcimiento. En la medida en que dicha preparación se inscribe a su vez en un contexto institucional específico, la construcción del ritmo de vida de los deportistas resulta de la búsqueda de un compromiso entre tiempos colectivos (restrictivos) y tiempo individual (controlado).

La contribution qui suit vise à repérer et analyser dans le quotidien du tissu sportif un mode organisationnel et structurel de rapport au temps, puis d’en caractériser les éventuels effets psychologiques chez les pratiquants de haut niveau. Une scansion volontariste du temps, étayée sur le primat des processus physiologiques, s’accompagne d’effets psychologiques multiples et complexes, parmi lesquels nous envisageons :– un rendement et une efficacité dans la gestion de l’effort qui génère chez le sportif, dans le grand public, mais aussi dans le monde de l’entreprise, une impression de réalisation parfaite. De fait cette gestion constitue le temps en allié, en outil de progrès et de perfection,– la genèse fréquente de troubles anxieux et d’épisodes dépressifs chez les pratiquants (objectivée par de récentes enquêtes), sans cesse en alerte pour coller aux assignations et impératifs du temps prescrit,– un décalage potentiel entre cette saisie du temps objectif et les rythmes de l’élaboration psychologique, par exemple lors des ratés, contre-performances, mais aussi des réussites soudaines. Une désynchronisation potentielle entre le temps vécu, subjectif et coloré par les affects d’une part, le temps planifié et maîtrisé d’autre part, induit un risque de déstabilisation de l’économie temporelle individuelle. The following contribution aims to identify and analyze, in the everyday experience of sports, an organizational and structural way of relating to time and then to characterize its possible effects on high-level practitioners. A voluntary scansion of time, backed up by the primacy of physiological processes, is accompanied by multiple and complex psychological effects, among which we will be considering:– a performance and efficiency that generate for the sportsman, as for the general public, but also for the world of business, a sense of perfect achievement. In fact, time management here is an ally, an instrument of progress and perfection,- the anxiety disorders and depressive episodes frequently generated in practitioners (objectivated by recent investigations), constantly on the alert to stick to the assignments and requirements of prescribed time,– a potential discrepancy between the input of objective time and the rhythms of psychological elaboration, for example in the case of failure, counter-performance, but also of unexpected successes… A potential desynchronization between experienced time, subjective and colored by the affects, on the one hand, planned and controlled time on the other, risks destabilizing the individual, temporal economy. En la siguiente contribución buscaremos identificar y analizar los modos organizacionales y estructurales de relación al tiempo en la cotidianeidad de la esfera deportiva. Luego buscaremos caracterizar los eventuales efectos psicológicos de dichos modos en los practicantes de alto nivel. La escansión voluntarista del tiempo, basada en la supremacía de los procesos fisiológicos, se ve acompañada por efectos psicológicos múltiples y complejos, entre los cuales podemos citar:– un rendimiento y una eficacia en la gestión del esfuerzo que en el deportista, en el mundo de la empresa y en el público en general, generan una impresión de realización perfecta. De hecho, esta gestión hace del tiempo un aliado, una herramienta de progreso y perfección;– la aparición frecuente (objetivada por recientes investigaciones) de trastornos de ansiedad y episodios depresivos en los practicantes, constantemente en alerta para respetar las asignaturas e imperativos del tiempo prescrito;– un potencial desfase entre esta manera de asir el tiempo objetivo, por un lado, y los ritmos de la elaboración psicológica, por el otro, perceptible por ejemplo en casos de performances malogradas, resultados insatisfactorios o éxitos repentinos. Mostraremos que esta desincronización potencial entre, por un lado, tiempo vivido, subjetivo y teñido por los afectos, y, por el otro, tiempo planificado y controlado, induce un riesgo de desestabilización de la economía temporal individual.

À partir d’une mise au point théorique sur les similitudes et différences formelles entre le « système des sports » et les spectacles tauromachiques, mêmement caractérisés par un processus de rationalisation du rapport au temps, l’auteur, suivant une méthodologie structuraliste et comparative fondée sur une ethnographie localisée entre l’Europe du sud-ouest et l’Amérique du nord, met en exergue la relativité culturelle des jeux d’arènes. Il montre que les principes de temporalité observés dans les différents types de spectacles, de la corrida espagnole au rodéo américain, avec ou sans mise à mort, se résolvent en un quadrant, soit une structure de corrélations et d’oppositions à quatre termes qui donne toute sa cohérence à un mode de performance paradoxal, oscillant constamment entre sport, cirque, tragédie, comédie et gestion du cycle de la vie et de la mort par la confrontation de l’humain et de ses animaux d’élevage. Focusing on the formal resemblances and differences between the rules of the « system of sports » and those governing bullfights, one sees that both are generally characterized by the rationalistic concept of the relation to time. Calling upon a structuralist methodology based on a comparative ethnographic survey (from South-West Europe to North America), the author highlights the relativity of arena games. He shows that the principles of temporality as they are observed through the different kinds of spectacles, from the Spanish corrida to the American rodeo, with or without killing the animal, may be reduced to a quadrant, that is to say a four-part structure of correlations and oppositions. Such a structural formula confers its coherence to a mode of performance that is paradoxical because constantly swinging between sports, circus, tragedy, comedy and the control of life-and-death cycles through the confrontation of humans and their animals. El autor, que desarrolla una metodología estructuralista y comparativa fundada en una etnografía realizada entre Europa del sud-oeste y América del norte, da cuenta de la relatividad cultural de los juegos de arena y hace una puesta a punto teórica sobre las similitudes y las diferencias formales entre el “sistema de los deportes” y los espectáculos de tauromaquia, igualmente caracterizados por llevar a cabo procesos de racionalización de la relación al tiempo. El artículo muestra que los principios de temporalidad observados en los diferentes tipos de espectáculos, desde la corrida española hasta el rodeo norteamericano (e independientemente de que se mate o no), se resuelven en un cuadrante, es decir en una estructura de correlaciones y oposiciones a cuatro términos. Dicha estructura le confiere plena coherencia a un modo de performance paradoxal que oscila constantemente entre deporte, circo, tragedia, comedia y gestión del ciclo de vida y de muerte, a través de la confrontación del ser humano con sus animales de cría.

This essay takes up the relationship between sport and time through the lens of the digital sports game. As the digital sports game industry has aspired to develop increasingly accurate simulations of professional sport, it has confronted the temporality regimes inherent in real world sport in a variety of different ways. As much as the digital sports game continues to simulate the digital athlete’s relation to time within individual contests with an increasing fidelity, the genre’s relationship to time has also been extended to simulating the athlete’s virtual career. The essay considers the time-sport relation through a ludological analysis of two recent digital sports games: the American football simulation, Madden NFL’17 and the baseball simulation, MLB The Show’16. As different as these sports might be in their construction of time, these sports games share similarities with respect to their treatment of time for the digital athlete and for the player’s time.Drawing on social theorist, John Tomlinson, and his notion of “the culture of speed” and its preoccupation with immediacy, the essay takes up ways in which these games position players with respect to accelerated time and considers the potential consequences of this acceleration for how time is perceived and experienced in the consumption of other forms of mediated sport. Este ensayo aborda la relación entre deporte y tiempo con el foco puesto en los juegos electrónicos, o digitales (también conocidos como “eSports”). La industria de dichos juegos aspira a desarrollar simulaciones cada vez más acabadas del deporte profesional, confrontándose en varios modos a los regímenes temporales inherentes al deporte del mundo real. Haciendo prueba de una fidelidad creciente, los deportes electrónicos simulan la relación del atleta virtual con el tiempo, en el marco de competiciones individuales: las relaciones temporales que aparecen en este tipo de juego, y que caracterizan al género, llegan a simular la carrera del atleta virtual. Aquí presentamos un análisis ludológico de dos juegos recientes, conocidos sobre todo en Norteamérica: el Madden NFL’17 (simulación de fútbol americano) y el MLB The Show’16 (simulación de béisbol). Si bien estos deportes difieren en su construcción del tiempo, los juegos que de ellos se inspiran comparten ciertas características respecto del tratamiento temporal del atleta virtual, así como del tiempo del jugador (o “gamer”). Basándonos en la teoría social desarrollada por John Tomlinson alrededor de la noción de “cultura de la velocidad”, y de su preocupación por la inmediatez, abordamos, por un lado, la manera en que estos juegos ubican a los jugadores frente al tiempo acelerado y, por el otro, las consecuencias potenciales de dicha aceleración sobre la percepción y la experiencia del tiempo en el consumo de otras formas de deporte mediatizado.

Cet article s’interroge sur le lien réflexif entre la temporalité d’une rencontre sportive et celle de sa diffusion à la télévision en direct. À partir d’une enquête vidéo-ethnographique menée en régie auprès de techniciens de l’audiovisuel qui réalisent des matches de football, cet article propose d’étudier les pratiques professionnelles par lesquelles sont traitées les pauses d’une rencontre sportive. Nous montrons comment ces pauses, pour la plupart initiées par un coup de sifflet de l’arbitre, posent un problème pratique pour la télévision. Quand le jeu est arrêté, les actions qui se déroulent ne sont plus directement orientées par la normativité propre au jeu. Or pendant ces pauses, les techniciens en régie doivent continuer à donner quelque chose à voir du match aux téléspectateurs. Grâce à une micro-analyse de l’interaction, on montre comment le coup de sifflet de l’arbitre constitue un point de transition pour l’insertion de ralentis, c’est-à-dire des séquences enregistrées donnant à revoir un phénomène de la partie sous un angle alternatif. Cela nous permet de montrer comment un élément propre au déroulement du jeu est réutilisé comme une ressource temporelle et descriptive pour l’activité de mise en images. In this paper, we examine the reflexive link between the temporal unfolding of a sports game and its broadcasting live on TV. Borrowing from a video-ethnography in the control-room of technicians producing video football matches in real-time, this article aims to study how professionals deal with the time-out pauses and the interruptions during a match. Those interruptions, generally triggered by the referee’s whistle, constitute a practical problem for TV broadcasting. When the game is stopped, actions that then take place are not directly controlled by the rules of the game but the broadcasters need to show something to the spectators. A micro-analysis of the interaction demonstrates how the referee’s whistle creates a transition towards slow-motion sequences, i.e. filmed actions allowing one to see an event under a new angle. Thus an element of the game is re-used as a temporal and descriptive resource in the on-going activity of broadcasting. Este artículo examina la relación reflexiva entre la temporalidad de una confrontación deportiva y la de su difusión televisada en directo. A partir de una investigación video-etnográfica, realizada en sala de realización, sobre el trabajo de técnicos del audiovisual que televisan partidos de fútbol, el texto propone estudiar las prácticas profesionales relativas al tratamiento de las pausas durante una confrontación deportiva. Estas, generalmente iniciadas por el silbato del árbitro, le plantean un problema práctico a la televisión, puesto que al interrumpirse el juego las acciones ya no están directamente guiadas por su normatividad propia. Sin embargo, los técnicos deben seguir ofreciendo imágenes del partido a los telespectadores. Gracias a un microanálisis de la interacción daremos cuenta de cómo el silbato del árbitro constituye un punto de transición para la inserción de repeticiones, es decir de secuencias grabadas en las que se muestra un hecho del partido desde un ángulo alternativo (acciones polémicas, de falta, etc.) Mostraremos entonces cómo los profesionales de la realización de programas futbolísticos reutilizan un elemento proprio al desenvolvimiento del juego a modo de recurso temporal y descriptivo en pos de su actividad de puesta en imágenes.

Les activités nautiques (voile, surf, kitesurf…) sont fréquemment construites par les municipalités des stations balnéaires comme des produits à destination des touristes. Elles sont de ce fait associées aux temps des vacances. Mais elles sont aussi un temps de travail pour ceux qui les encadrent. Les éducateurs sportifs en nautisme sont en fait contraints de travailler à contretemps, c’est-à-dire de s’inscrire dans des temporalités qui ne s’apparentent guère à celles caractéristiques des univers ordinaires de travail (vacances scolaires, jours fériés ou week-ends). Cela peut leur poser problème, notamment dans la conciliation entre travail et vie familiale. Les représentations ou perceptions du contretemps par ces éducateurs sportifs, ainsi que la manière dont ils vivent leurs situations de travailleurs dans ces temporalités, sont analysées dans cet article. Celui-ci tente d’identifier et de caractériser les ressources et stratégies utilisées pour faire face aux divers effets et conséquences du contretemps. Les résultats présentés s’appuient principalement sur des entretiens et des observations de diverses situations de travail réalisées dans le cadre d’une enquête sur le littoral de la région Pays-de-la-Loire. Nautical activities (sailing, surfing, kitesurfing…) are frequently conceived by sea resort municipalities as products for the tourist industry and therefore associated with vacation time. But they are also working time for those who are in charge. Nautical sports instructors are forced to work on the off-beat. They must integrate temporalities - school holidays, public holidays or week-ends - which are different from the ordinary working world. That is sometimes problematic, especially when conciliating work and family life.This paper focuses on the way sports teachers experience working on the off-beat, and how they perceive the situation. It will try to identify and to characterize the resources and strategies used for dealing with the various effects and consequences of working on the off-beat. The results presented are based on fieldwork with interviews and observations carried out on the coast of the Pays-de-la-Loire Region. A menudo, las actividades náuticas (vela, surf, kitesurf…) son desarrolladas por las municipalidades de estaciones balnearias como productos destinados a los turistas. Dichas actividades se asocian entonces a los períodos de vacaciones. Sin embargo también constituyen un tiempo de trabajo para quienes las organizan y animan. Los educadores de deportes náuticos, de hecho, se ven obligados a trabajar a contratiempo, es decir a inscribirse en temporalidades que poco comparten con los universos ordinarios de trabajo y sus características (vacaciones escolares, días feriados o fines de semana, etc.). Esto puede plantear ciertos problemas, especialmente en la conciliación de la vida familiar y de la vida laboral. En el presente artículo analizamos las representaciones o percepciones del contratiempo en estos educadores deportivos, así como el modo en que viven su condición de trabajadores en las mencionadas temporalidades. Intentamos especialmente identificar y caracterizar los recursos y estrategias utilizados para hacerle frente a los diferentes efectos y consecuencias del contratiempo. Los resultados que presentamos reposan principalmente en entrevistas y observaciones de diversas situaciones laborales realizadas para una investigación en el litoral de la región francesa Pays-de-la-Loire.

Dans le monde contemporain, la majorité des acteurs sociaux fait quotidiennement l’expérience d’une accélération effrénée des rythmes de vie. Cette course contre la montre, qui tend à devenir chronique, semble affecter non seulement la sphère des obligations professionnelles et familiales mais aussi le champ des pratiques de loisirs. Dans un contexte de pénurie temporelle, où le temps est devenu une denrée aussi rare que précieuse, consentir d’y consacrer une partie à des activités non productives suppose de pouvoir obtenir un retour sur investissement. Quels types d’activités sportives peuvent satisfaire cette condition en permettant désormais aux pratiquants d’en avoir non seulement pour leur argent mais surtout pour leur temps ? À partir d’une étude de cas, la pratique d’un sport de combat de synthèse, le Mixed Martial Arts, par des étudiants de l’École Normale Supérieure de Lyon et anciens élèves des Classes Préparatoires aguerris à la gestion de l’urgence temporelle, nous montrerons que les activités sportives que nous qualifierons d’« hybrides » apparaissent, pour cette population, comme une réponse particulièrement pertinente au manque de temps en autorisant un engagement jugé rentable et efficient. Nowadays, most people experience a generalized acceleration of the pace of life. This race against the clock, which tends to become chronic, seems to affect not only professional and family obligations but also the field of leisure activities. In a context of temporal shortage, where time becomes a commodity as rare as it is valuable, dedicating a part of one’s free time to unproductive activities can only be granted on condition that one can get a return on investment. What kind of sport activities could satisfy this condition, allowing its practitioners to get value not only for money but also for time? Using a case study, the practice of the Mixed Martial Arts, a synthetic fighting sport, by the students at the École Normale Supérieure de Lyon and former alumni of the Preparatory Classes where they learned how to manage temporal urgency, we stress that, for this population, these so-called “hybrid” sports provide a satisfactory answer to temporal scarcity by permitting a commitment judged to be efficient. En el mundo contemporáneo, la mayor parte de los actores sociales vive la experiencia cotidiana de una aceleración desenfrenada de los ritmos de vida. Esta carrera contrarreloj, que tiende a volverse crónica, parece afectar no sólo la esfera de las obligaciones profesionales y familiares sino también la de las prácticas de esparcimiento. En un contexto de escasez, en el que el tiempo se ha vuelto un bien tan raro como preciado, decidir consagrarlo a ciertas actividades no productivas supone la obtención de un rendimiento de la inversión. ¿Qué tipo de actividades deportivas responde a dicha condición, y dan satisfacción a quienes las practican en relación a lo invertido, en dinero y en tiempo? En este artículo mostraremos que las actividades deportivas que llamaremos “híbridas”, en particular el deporte de combate de síntesis Mixed Martial Arts - MMA (Artes Marciales Mixtas, en español) constituyen, para ciertas poblaciones, una respuesta particularmente acertada ante la falta de tiempo. A partir de un estudio monográfico sobre MMA practicado por estudiantes de la Escuela Normal Superior de Lyon (École Normale Supérieure), y por ex-alumnos de Classes Préparatoires (estudios intensivos para integrar escuelas superiores), mostraremos que estos jóvenes, particularmente curtidos en el manejo de la urgencia temporal, consideran este deporte como una dedicación rentable y eficiente.

« Le temps n’est pas un canevas sur lequel on brode ». C’est dans ces termes lancés comme un avertissement par William Grossin dans les années 90 que pouvait se définir la ligne éditoriale du bulletin des Temporalistes. L’argument ne devait pas déplaire à Claude Dubar qui allait transformer ce bulletin de liaison en une véritable revue scientifique et lui donner de nouvelles ambitions. Mais la contribution de Claude Dubar à la recherche sur les temporalités ne s’est pas arrêtée à une offre no...

Underwater robots can nowadays operate in complex environments in a broad scope of missions where the use of human divers is difficult for cost or safety reasons. However the complexity of aquatic environments requires to give the robotic vector an autonomy sufficient to perform its mission while preserving its integrity. This requires to design control laws according to application requirements. They are built on knowledge from several scientific fields, underlining the interdisciplinarity inherent to robotics. Once the control law designed, it must be implemented as a control Software working on a real-time Software architecture.Nonetheless the current conception of control laws, as "monolithic" blocks, makes difficult the adaptation of a control from an application to another and the integration of knowledge from various scientific fields which are often not fully understood by control engineers. It also penalizes the implementation of control on Software architectures, at least its modularity and evolution. To solve those problems we seek a proper separation of knowledge so that each knowledge item can be easily used, its role precisely defined and we want to reify the interactions between them. Moreover this will allow us a more efficient projection on the Software architecture. We thus propose a new formalism for control laws description as a modular composition of basic entities named Atoms used to encapsulate the knowledge items.We also aim at building a better synergy between control and software engineering based on shared concerns such as temporal constraints and stability. Hence we extend the definition of our Atoms with constraints carrying information related to their temporal behaviour. We propose as well a methodology relying on our formalism to guide the implementation of control on a real-time Middleware. We will focus on the ContrACT Middleware developed at LIRMM.Finally we illustrate our approach on several robotic functionalities that can be used during aquatic environments exploration and especially for wall avoidance during the exploration of a karst aquifer.; Les robots sous-marins peuvent aujourd'hui évoluer dans des environnements complexes difficilement accessibles à l'Homme pour des raisons de coût ou de sécurité. Ils peuvent donc intervenir dans une grande variété de missions en environnement aquatique. Or, la complexité de ces milieux impose de doter le vecteur robotique d'une autonomie opérationnelle suffisante afin qu'il puisse mener sa mission à bien tout en préservant son intégrité. Cela nécessite de développer des lois de commande répondant aux spécificités de l'application. Ces lois de commande se basent sur des connaissances provenant de différentes disciplines scientifiques ce qui souligne l'interdisciplinarité inhérente à la robotique. Une fois la loi de commande développée, il faut implémenter le contrôleur sur le robot sous forme de logiciel de contrôle basé sur une architecture logicielle temps-réel.Or la conception actuelle des lois de commande, sous forme de blocs "monolithiques", rend difficile l'évolution d'une loi de commande d'une application à l'autre, l'intégration de connaissances provenant d'autres disciplines scientifiques que ne maitrisent pas forcément les automaticiens et pénalisent son implémentation sur des architectures logicielles qui nécessitent la modularité. Pour résoudre ces problèmes nous cherchons à proprement séparer les différentes connaissances afin que chacune soit aisément manipulable, son rôle clair et que les relations établies entre les différentes connaissances soient explicites. Cela permettra en outre une projection plus efficace sur l'architecture logicielle. Nous proposons donc un nouveau formalisme de description des lois de commande selon une composition modulaire d'entités de base appelées Atomes et qui encapsulent les différents éléments de connaissance. Nous nous intéressons également à l'établissement d'une meilleure synergie entre les aspects automatique et génie logiciel qui se construit autour de préoccupations communes telles que les contraintes temporelles et la stabilité. Pour cela, nous enrichissons nos Atomes de contraintes chargées de véhiculer les informations relatives à ces aspects temporels. Nous proposons également une méthodologie basée sur notre formalisme afin de guider l'implémentation de nos stratégies de commande sur un Middleware temps-réel, dans notre cas le Middleware ContrACT développé au LIRMM.Nous illustrons notre approche par diverses fonctionnalités devant être mises en oeuvre lors de missions d'exploration de l'environnement aquatique et notamment pour l'évitement de parois lors de l'exploration d'un aquifère karstique.

Underwater robots can nowadays operate in complex environments in a broad scope of missions where the use of human divers is difficult for cost or safety reasons. However the complexity of aquatic environments requires to give the robotic vector an autonomy sufficient to perform its mission while preserving its integrity. This requires to design control laws according to application requirements. They are built on knowledge from several scientific fields, underlining the interdisciplinarity inherent to robotics. Once the control law designed, it must be implemented as a control Software working on a real-time Software architecture.Nonetheless the current conception of control laws, as "monolithic" blocks, makes difficult the adaptation of a control from an application to another and the integration of knowledge from various scientific fields which are often not fully understood by control engineers. It also penalizes the implementation of control on Software architectures, at least its modularity and evolution. To solve those problems we seek a proper separation of knowledge so that each knowledge item can be easily used, its role precisely defined and we want to reify the interactions between them. Moreover this will allow us a more efficient projection on the Software architecture. We thus propose a new formalism for control laws description as a modular composition of basic entities named Atoms used to encapsulate the knowledge items.We also aim at building a better synergy between control and software engineering based on shared concerns such as temporal constraints and stability. Hence we extend the definition of our Atoms with constraints carrying information related to their temporal behaviour. We propose as well a methodology relying on our formalism to guide the implementation of control on a real-time Middleware. We will focus on the ContrACT Middleware developed at LIRMM.Finally we illustrate our approach on several robotic functionalities that can be used during aquatic environments exploration and especially for wall avoidance during the exploration of a karst aquifer.; Les robots sous-marins peuvent aujourd'hui évoluer dans des environnements complexes difficilement accessibles à l'Homme pour des raisons de coût ou de sécurité. Ils peuvent donc intervenir dans une grande variété de missions en environnement aquatique. Or, la complexité de ces milieux impose de doter le vecteur robotique d'une autonomie opérationnelle suffisante afin qu'il puisse mener sa mission à bien tout en préservant son intégrité. Cela nécessite de développer des lois de commande répondant aux spécificités de l'application. Ces lois de commande se basent sur des connaissances provenant de différentes disciplines scientifiques ce qui souligne l'interdisciplinarité inhérente à la robotique. Une fois la loi de commande développée, il faut implémenter le contrôleur sur le robot sous forme de logiciel de contrôle basé sur une architecture logicielle temps-réel.Or la conception actuelle des lois de commande, sous forme de blocs "monolithiques", rend difficile l'évolution d'une loi de commande d'une application à l'autre, l'intégration de connaissances provenant d'autres disciplines scientifiques que ne maitrisent pas forcément les automaticiens et pénalisent son implémentation sur des architectures logicielles qui nécessitent la modularité. Pour résoudre ces problèmes nous cherchons à proprement séparer les différentes connaissances afin que chacune soit aisément manipulable, son rôle clair et que les relations établies entre les différentes connaissances soient explicites. Cela permettra en outre une projection plus efficace sur l'architecture logicielle. Nous proposons donc un nouveau formalisme de description des lois de commande selon une composition modulaire d'entités de base appelées Atomes et qui encapsulent les différents éléments de connaissance. Nous nous intéressons également à l'établissement d'une meilleure synergie entre les aspects automatique et génie logiciel qui se construit autour de préoccupations communes telles que les contraintes temporelles et la stabilité. Pour cela, nous enrichissons nos Atomes de contraintes chargées de véhiculer les informations relatives à ces aspects temporels. Nous proposons également une méthodologie basée sur notre formalisme afin de guider l'implémentation de nos stratégies de commande sur un Middleware temps-réel, dans notre cas le Middleware ContrACT développé au LIRMM.Nous illustrons notre approche par diverses fonctionnalités devant être mises en oeuvre lors de missions d'exploration de l'environnement aquatique et notamment pour l'évitement de parois lors de l'exploration d'un aquifère karstique.

The globalization of integrated circuits fabrication involves several questions about the integrity of the fabricated circuits. Malicious modifications called Hardware Trojans (HT) can be introduced during the circuit production process. Due to the complexity of an integrated circuit, it is really difficult to find this kind of alterations.This work focuses on a non-destructive method of HT detection. We use the paths delays of the studied design as a channel to detect HT. A model to describe paths delays is defined. It takes into account two important parameters which are the experimental conditions and the process variations.Faults attacks by clock glitches based on timing constraints violations have been performed to measure data paths delays. Reliable circuits are used for reference. After validating the relevance of this channel to get information on the internal behavior of the targeted design, experimental detections of HT inserted on two different abstraction levels (RTL and after place and route) were achieved. Process variations are taken into consideration in the studies to detect if the tested circuits are infected., L'exportation et la mutualisation des industries de fabrication des circuits intégrés impliquent de nombreuses interrogations concernant l'intégrité des circuits fabriqués. On se retrouve alors confronté au problème d'insertion d'une fonctionnalité dissimulée pouvant agir de façon cachée : on parle de Cheval de Troie Matériel (CTM). En raison de la complexité d'un circuit intégré, repérer ce genre de modification se révèle particulièrement difficile. Le travail proposé dans ce manuscrit s'oriente vers une technique de détection non destructrice de CTM. L’approche consiste à utiliser les temps de calculs internes du système étudié comme canal permettant de détecter des CTM. Dans ces travaux, un modèle décrivant les temps de calcul est défini. Il prend notamment en compte deux paramètres importants que sont les conditions expérimentales et les variations de procédés.Des attaques en faute par glitchs d’horloge basée sur la violation de contraintes temporelles permettent de mesurer des temps de calcul internes. Des cartes fiables sont utilisées pour servir de référence. Après avoir validé la pertinence de ce canal d’étude concernant l’obtention d’informations sur le comportement interne du circuit cible, on procède à des détections expérimentales de CTM insérés à deux niveaux d’abstraction (niveau RTL et après l'étape de placement/routage). Des traitements avec prise en compte des variations de procédés permettent d'identifier si les cartes testées sont infectées par un CTM.

Cet article traite de la mise en place de l’organisation par projet dans une unité de R & D du secteur de l’énergie. Il montre que l’un des principaux effets de cette politique de « modernisation » est d’avoir transformé les contraintes temporelles qui pèsent sur le travail des chercheurs et ce, à au moins trois niveaux. D’abord, la composante administrative du travail de recherche s’est accrue au détriment du temps consacré à la production scientifique. Ensuite, le projet d’intensification du travail auquel renvoie l’instauration du multiprojets génère des « coûts de coordination » et un phénomène de dispersion dans le travail, peu propices à la concentration intellectuelle que nécessitent les activités de recherche, au point que certaines tâches, comme la lecture ou l’écriture, sont réalisées à contretemps, dans la sphère hors travail et sur des temps de récupération. Quant à l’ajustement des activités aux demandes des clients, il donne lieu à une sorte d’ingénieurisation de la recherche. Tandis que les projets les plus éloignés des préoccupations des directions opérationnelles souffrent d’un manque de crédit, au double sens du terme, ceux commandités par les directions les plus proches du marché et du consommateur final, eux, s’apparentent de plus en plus à des études, court-termistes et directement opératoires. This article discusses the setting up of organization by project in a unit of R & D in the sector of energy. It shows that one of the main effects of the policy of “modernization” of R & D conducted during the past three decades is to increase time constraints in research. First, the underlying control devices in the managerial part of their work led researchers to devote more time to account for what they do, instead of to their scientific production. Then, the intensification of the work caused by the introduction of multi-projects generated extremely time-consuming “costs of coordination” and a phenomenon of dispersion hardly conducive to the concentration that their research activities require, to the point that some tasks, such as reading or writing, are carried out at odd moments, during time off and recovery time. Finally, adjusting to client and market demands give rise to a kind of research engineering, restricting researchers to projects which more and more resemble short-term and directly applicable studies. Este artículo aborda el establecimiento de la organización por proyecto en una unidad de Investigación y Desarrollo (I & D) del sector energético. El texto muestra que uno de los principales efectos de esta política de “modernización” es el haber transformado las restricciones temporales que pesan sobre el trabajo de los investigadores, por lo menos a tres niveles. En primer lugar, el componente administrativo del trabajo de investigación ha crecido, menoscabando los tiempos consagrados a la producción científica. Luego, el proyecto de intensificación del trabajo al que reenvía la instauración de multi-proyectos, genera costos de coordinación y un fenómeno de dispersión en el trabajo, poco propicios a la concentración intelectual que requieren las actividades de investigación. Tanto es así que ciertas tareas, como la lectura o la escritura, se terminan realizando a contra-tiempo, por fuera del trabajo y sobre los tiempos de recuperación. En fin, respecto al ajuste de las actividades a las demandas de los clientes, podemos afirmar que éste da lugar a una suerte de ingenierización de la investigación. Mientras que los proyectos más alejados de las preocupaciones de las direcciones operativas sufren falta de crédito (en ambos sentidos de la palabra), los proyectos comanditados por las direcciones más cercanas al mercado y al consumidor final se aparentan cada vez más a estudios cortoplacistas y directamente operatorios.

The present work is part of an industrial project driven by 2MoRO Solutions company.It aims to develop a high value service enabling aircraft operators to optimize their maintenance actions.Given the large amount of data available around aircraft exploitation, we aim to analyse the historical events recorded with each aircraft in order to extract maintenance forecasting. Theresults are used to integrate and consolidate maintenance tasks in order to minimize aircraft downtime and risk of failure. The proposed method involves three steps : (i) streamlining information in order to combinethem, (ii) organizing this data for easy analysis and (iii) an extraction step of useful knowledgein the form of interesting sequences., Le travail produit s'inscrit dans un cadre industriel piloté par la société 2MoRO Solutions. La réalisation présentée dans cette thèse doit servir à l'élaboration d'un service à haute valeur, permettant aux exploitants aéronautiques d'optimiser leurs actions de maintenance. Les résultats obtenus permettent d'intégrer et de regrouper les tâches de maintenance en vue de minimiser la durée d'immobilisation des aéronefs et d'en réduire les risques de panne.La méthode que nous proposons comporte trois étapes : (i) une étape de rationalisation des séquences afin de pouvoir les combiner

Cours donné à l'École d'été temps réel - Brest - Août 2011; Le profil UML MARTE a été créé pour la modélisation et l'analyse des systèmes temps réel embarqués. A ce titre, il permet d'annoter des modèles UML avec des paramètres temporels (durée, période, échéance, etc.). MARTE va bien au-delà de la simple annotation. Il définit un modèle de temps et de contraintes temporelles qui traite à la fois du temps dit physique et du temps logique. Le temps ''physique'' (appelé chronométrique en MARTE) est utilisé principalement dans les applications multitâches temps réel. MARTE permet aussi la prise en compte de plusieurs référentiels temporels dans une même application ce qui s'avère très utile en modélisation de systèmes répartis ou de systèmes électroniques ''multi-horloges''. Après une brève présentation du temps chronométrique, nous développons une facette moins connue de MARTE: le temps logique et le langage d'expression de contraintes appelé CCSL. Ceci introduit un modèle de ''temps pour la conception'' dans lequel la sémantique temporelle est directement intégrée au lieu d'être une simple annotation.

International audience; La modélisation des systèmes répartis et des systèmes électroniques modernes nécessite des référentiels temporels multiples. Nous désignons ces systèmes sous le nom de “systèmes polychrones”. Le profil UML pour les systèmes temps réel et embarqués (MARTE) permet leur modélisation ainsi que la spécification de contraintes temporelles avec CCSL (Clock Constraint Specification Language). Dans MARTE, CCSL est non normatif et sa sémantique est informelle. Nous proposons ici une sémantique formelle en termes d'évolutions d'un “Time System” pour un noyau de CCSL. Un “Time System” est un modèle dynamique qui associe un ensemble de configurations à un modèle structurel constitué d'un ensemble d'horloges discrètes et de relations sur ces horloges. Les Time Systems sont comparés à d'autres modèles de causalités asynchrones, synchrones et polychrones. CCSL et sa mise en oeuvre sont illustrés sur un exemple de contrôleur d'ABS.

8 pages; International audience; We present a system of interactive scores designed for the interpretation of musical pieces. The composer can specify temporal relations between the elements of his piece. Qualitative constraints based on the Allen algebra and quantitative constraints on the time intervalls between the events of the piece. At last he can specify interaction points used by a performer to change the date of some events of the score during the performance. In execution mode, the system runs the score by automatically triggering the static events and waiting for messages from the performer to trigger the events associated with the interaction points. When it recieves a trigger message, it recomputes the date of other events to maintain the qualitative and quantitative constraints.

International audience; Nous traitons dans ce papier le problème de commande d'un système de production soumis à une contrainte temporelle stricte. Nous comparons sur un exemple réel deux approches formelles de commande temporelles. Le principe des deux méthodes est de calculer une loi de commande ou de synthétiser un superviseur pour garantir le respect de la contrainte. Dans un premier temps, nous utilisons une technique basée sur l'algèbre Min-Plus pour contrôler le système afin de satisfaire la contrainte temporelle. Nous appliquons dans un deuxième temps, la méthode de commande supervisée en réseaux de Petri pour résoudre le problème. Une étude comparative des résultats obtenus est effectuée.

The large amount of data stored in any areas as well as the diversity of their format and origin make manual analysis or knowledge discovery impossible. For this reason, various communities have been interested for several years in the conception and implementation of tools that can automatically extract knowledge from such large databases. Nowadays these works aim at considering heterogeneity of data, format and quality. Our own workis part of this research axis. More particularly, we consider the context of frequent pattern discovery from data ordered as data sequences. Until now, such patterns, called sequential patterns, could be extracted only from sequence databases containing symbolic and perfect data, i.e. databases consisting of binary information or data that can be processed as binary and only containing complete data. So we propose several improvement of frequent sequence discovery techniques in order to take into account heterogeneous, incomplete or uncertain data, while minimizing possible information loss. Thus, the work described in this thesis consists of the implementation of a global framework for fuzzy sequential pattern discovery within numerical quantitative data, the definition of soft temporal constraints allowing flexibility for the user and sorting of uncovered patterns, last the implementation of two approaches for sequential pattern discovery from incomplete data., La quantité de données aujourd'hui emmagasinées dans tous les domaines ainsi que leur diversité d'origines et de formats rendent impossibles l'analyse, le résumé ou l'extraction manuelle de connaissances. Pour répondre à ces besoins, diverses communautés se sont intéressées à la conception et au développement d'outils permettant d'extraire automatiquement de la connaissance de ces grandes bases. Désormais ces travaux visent à prendre en compte l'hétérogénéité de ces données, de leur format et de leur qualité. Notre travail s'inscrit dans cet axe de recherche et, plus précisément, dans le contexte de la découverte de schémas fréquents à partir de données regroupées sous la forme de séquences ordonnées. Ces schémas, appelés motifs séquentiels, n'étaient jusqu'alors extraits que sur des bases de données de séquences symboliques et parfaites, c'est-à-dire des bases ne contenant que des informations binaires ou pouvant être traitées comme telles et ne contenant aucun enregistrement incomplet. Nous avons donc proposé plusieurs améliorations des techniques d'extraction de séquences fréquentes afin de prendre en compte des données hétérogènes, incomplètes, incertaines ou mal connues de leur utilisateur, tout en minimisant les pertes éventuelles d'informations. Ainsi, le travail présenté dans cette thèse comporte la mise en oeuvre d'un cadre pour l'extraction de motifs séquentiels en présence de données numériques quantitatives, la définition de contraintes temporelles relâchées autorisant l'utilisateur à spécifier des contraintes temporelles approximatives et permettant un tri des résultats obtenus selon un indice de précision temporelle, enfin, le développement de deux approches pour l'extraction de motifs séquentiels sur des données symboliques incomplètes.

The large amount of data stored in any areas as well as the diversity of their format and origin make manual analysis or knowledge discovery impossible. For this reason, various communities have been interested for several years in the conception and implementation of tools that can automatically extract knowledge from such large databases. Nowadays these works aim at considering heterogeneity of data, format and quality. Our own workis part of this research axis. More particularly, we consider the context of frequent pattern discovery from data ordered as data sequences. Until now, such patterns, called sequential patterns, could be extracted only from sequence databases containing symbolic and perfect data, i.e. databases consisting of binary information or data that can be processed as binary and only containing complete data. So we propose several improvement of frequent sequence discovery techniques in order to take into account heterogeneous, incomplete or uncertain data, while minimizing possible information loss. Thus, the work described in this thesis consists of the implementation of a global framework for fuzzy sequential pattern discovery within numerical quantitative data, the definition of soft temporal constraints allowing flexibility for the user and sorting of uncovered patterns, last the implementation of two approaches for sequential pattern discovery from incomplete data.; La quantité de données aujourd'hui emmagasinées dans tous les domaines ainsi que leur diversité d'origines et de formats rendent impossibles l'analyse, le résumé ou l'extraction manuelle de connaissances. Pour répondre à ces besoins, diverses communautés se sont intéressées à la conception et au développement d'outils permettant d'extraire automatiquement de la connaissance de ces grandes bases. Désormais ces travaux visent à prendre en compte l'hétérogénéité de ces données, de leur format et de leur qualité. Notre travail s'inscrit dans cet axe de recherche et, plus précisément, dans le contexte de la découverte de schémas fréquents à partir de données regroupées sous la forme de séquences ordonnées. Ces schémas, appelés motifs séquentiels, n'étaient jusqu'alors extraits que sur des bases de données de séquences symboliques et parfaites, c'est-à-dire des bases ne contenant que des informations binaires ou pouvant être traitées comme telles et ne contenant aucun enregistrement incomplet. Nous avons donc proposé plusieurs améliorations des techniques d'extraction de séquences fréquentes afin de prendre en compte des données hétérogènes, incomplètes, incertaines ou mal connues de leur utilisateur, tout en minimisant les pertes éventuelles d'informations. Ainsi, le travail présenté dans cette thèse comporte la mise en oeuvre d'un cadre pour l'extraction de motifs séquentiels en présence de données numériques quantitatives, la définition de contraintes temporelles relâchées autorisant l'utilisateur à spécifier des contraintes temporelles approximatives et permettant un tri des résultats obtenus selon un indice de précision temporelle, enfin, le développement de deux approches pour l'extraction de motifs séquentiels sur des données symboliques incomplètes.

International audience; Un modèle temporel de documents multimédias est composé de deux parties : un langage temporel permettant la spécification des scénarios et un compilateur temporel permettant la vérification et le formatage des spécifications. Cet article présente un modèle temporel de documents multimédias, appelé M++. Le langage du modèle M++ combine les deux types de représentation des objets et des relations temporelles : la représentation à base d'instants et la représentation à base d'intervalles de durées. Le compilateur du modèle M++ permet, d'une part, la vérification de la cohérence temporelle qualitative et quantitative des spécifications et d'autre part le calcul de toutes les solutions de présentation d'une spécification cohérente.

Un modèle temporel de documents multimédias est composé de deux parties : un langage temporel permettant la spécification des scénarios et un compilateur temporel permettant la vérification et le formatage des spécifications. Cet article présente un modèle temporel de documents multimédias, appelé M++. Le langage du modèle M++ combine les deux types de représentation des objets et des relations temporelles : la représentation à base d'instants et la représentation à base d'intervalles de durées. Le compilateur du modèle M++ permet, d'une part, la vérification de la cohérence temporelle qualitative et quantitative des spécifications et d'autre part le calcul de toutes les solutions de présentation d'une spécification cohérente.

Cette thèse est consacrée au problème de la planification et de l'ordonnancement des tâches sous contraintes temporelles et incertitude. Les contraintes temporelles que nous traitons sont de deux types : qualitatives et quantitatives. L'incertitude sur la durée des tâches se traduit par une distribution de probabilités sur un ensemble fini.Les tâches et les contraintes sont représentées à l'aide d'un graphe ET/OU et les durées des tâches sont pondérées par des probabilités d'exécution. Celles-ci expriment une incertitude sur la connaissance exacte des durées d'exécution des tâches qui ne seront réellement connues que lors de l'exécution effective. Ainsi, une tâche s'exécute durant l'une de ses durées d'exécution possibles avec la probabilité associée à celle-ci. Étant donné ce graphe, notre objectif est de déterminer un plan de tâches qui satisfait toutes les contraintes et qui répond aux critères de choix exigés par l'utilisateur en terme de temps, de coût et de probabilité. L'application de ce plan doit garantir le monde de façon que le but soit atteint tout en satisfaisant les contraintes du domaine.Nous avons appliqué notre méthode de planification à un cas pratique relativement complexe qui concerne la planification d'un ensemble d'agents travaillant ensemble dans un lieu afin d'atteindre un but donné tout en respectant les délais et les contraintes du domaine (temps, coût, probabilité, disponibilité, spécialité,...).

National audience; Nous considérons dans ce papier, une classe de graphes d'événements temporisés contrôlés soumis à des contraintes temporelles. Ces graphes sont déterministes, dans le sens où leur comportement dépend seulement de leur marquage initial et des entrées de commande qu'on leur a appliquées. Le comportement de ces graphes peut être modélisé par des équations aux différences qui sont linéaires dans l'algèbre Min-Plus. Les contraintes temporelles sont traduites par des inéquations, qui sont également linéaires dans l'algèbre Min-Plus. Nous proposons alors une méthode pour la synthèse de commande qui garantit le respect des contraintes temporelles. Nous explicitons une loi de commande, qui, si deux conditions sont satisfaites, assure la validité des contraintes temporelles. La commande est un retour d'état causal impliquant des retards. La méthode est illustrée sur un exemple réel de processus de production.

numéro spécial de la Revue de l'IRES n° 49, 2005/3 (contributeurs : Michon, Campbell, Shief, Gianelli&Braschi, Van Echtelt)

Performance requirements and constraints on design costs and power consumption still require that significant parts of Digital Signal Processing (DSP) systems are implemented using dedicated hardware blocks. To deal with the SoC challenges, designers use system-level description, co-design techniques and re-use IP cores. Unfortunately, the main problem when re-using pre-designed hardware accelerator arises from their integration and more particularly from the communication features. System integrator can use standard interface such as VCI proposed by VSIA. However in DSP applications, in addition to the protocol aspects, SoC designer has also to synchronize the components and to buffer data to ensure the system behavior and to meet timing constraints. IPs are indeed delivered at the RTL level that is, following the VSIA taxonomy, the highest abstraction level for synthesizable IP models (soft cores). However, such a description may be parameterizable, it relies on a fixed architectural model with very restricted customization capabilities. This lack of flexibility of RTL IPs is especially true for the communication unit whose sequence orders and timing requirements are set. IP are hence connected to the SoC bus through specific interfaces (wrappers) that adapt the system communication features to the IP requirements. Unfortunately, this adaptation increases the final SoC area and also decreases system performance. In some cases, the I/O timing requirements cannot be respected due to the wrapper overhead and can cause the SoC design to fail.We propose an approach based on high-level synthesis techniques under constraints to design the behavioral IP specification. Hence, we aim to optimally synthesize the IP by taking into account, in its specification, the system integration constraints: application rate, technology, bus format, I/O timing properties specified by timing frames of transfers. We consider variable but bounded timing constraints in real time DSP applications to handle non-determinism on transfer times that can originate from (1) computation performed by other system components and/or (2) transfer delay and protocol overhead.Our methodology proposes to raise the abstraction level of IP synthetizable models by introducing the concept of behavioral IP, described as an algorithm and specified using HDL language. Starting from the system description and its architecture model, the integrator, for each bus or port that connects the IP to SoC components, refines and specifies I/O protocols, data sequence orders and timing information of transfers. The virtual component specification is modeled by a Signal Flow Graph SFG. We first generate an intermediate Algorithmic Constraint Graph ACG from the operator latencies and the data dependencies expressed in the SFG. Having described the IP behavior and the IP design constraints in a formal model, we then analyze the feasibility between the rate, data dependencies of the algorithm and technological constraints. This analysis checks the ACG for positive cycles to ensure that the constraint graph is feasible without considering input arrival dates. In order to support the features of communication architectures specific to DSP application, we define a formal model named IOCG (IO Constraint Graph) that supports expressing of integration constraints for each bus (id. port) that connects the IP to the SoC components. It allows (1) to specify transfer related timing constraints such as ordered transactions, relative timing specification, min-max delay, (2) to include architecture features and (3) to express non determinism in the data transfer time. Finally we generate a Global Constraint Graph (GCG) by merging the ACG with the IOCG graph. Merging is done by mapping the vertices and associated constraints of IOCG onto input and output vertices set of ACG. A minimum timing constraint on output vertices (earliest date for data transfer) of the IOCG are transformed into the GCG in maximum timing constraints (latest date for data computation/production). With the formal description of the set of constraints, we analyze the consistency of the IP design constraints according to the algorithm ones. Consistency analysis refers to the dynamic behavior of the GCG graph. The entry point of the IP design task is the GCG that is used to synthesize the processing, memory, control and communication units that compose the IP architecture.We applied our method to DSP and telecommunication applications. A first experiment was carried out on a FFT example. With the experimental conditions, the optimization of operators is among 20% and that of the registers of 7%, compared to a HLS approach ignoring I/O constraints. A second experiment uses a Discrete Cosine Transform DCT to compare the results, obtained by applying the approach of integration we proposed, with the results of the wrapperbased methods. For the considered example, the communication register gain varies from -2% to 88% for a constant I/O rate. The last experiment carried out in industrial partnership, has shown the applicability of our methodology on a complex behavioral IP (Maximum A posteriori MAP) in an application of real time Turbo decoding., Actuellement, des systèmes complets, contenant une partie logicielle et une partie matérielle, sont intégrés sur une même puce nommée Système-sur-Silicium (SoC). Pour faire face à la complexité d'intégration et maîtriser les contraintes, les équipes de recherche proposent de nouvelles méthodologies de conception qui reposent sur (1) la réutilisation de blocs logiciels ou matériels préconçus (Composant Virtuel VC, Intellectual Property IP), (2) sur l'élévation du niveau de description des applications (System-Level Design) et (3) sur l'orthogonalisation de différents aspects (fonctionnalité/architecture, calculs/communication, besoins/contraintes/choix d'implantation). Malheureusement la difficulté de réutilisation liée au niveau de description RTL (Register Transfer Level), auquel sont fournis les IPs, ne permet pas une intégration aisée et optimisée. Ainsi, les méthodologies d'intégration à base d'adaptateurs additionnels sont souvent inadaptées aux contraintes et à la spécificité des algorithmes utilisés dans le domaine du traitement du signal et de l'image (TDSI). Elles peuvent de ce fait aboutir à la violation des contraintes en terme de surface, consommation et performances du système. La synthèse de l'unité de traitement (UT) est réalisée à l'aide de l'outil GAUT (Générateur Automatique d'Unité de Traitement) dont l'ordonnancement est contraint par les paramètres temporel de l'intégrateur du composant virtuel. La synthèse de l'UT génère un ensemble de contraintes au E/S, modélisé sous la forme d'un IPERM (IP Execution Requirement Model). Ce dernier modélise (1) les dates de production et de consommation des données dans l'UT et (2) les bus sur lesquels elles transitent entre l'unité de communication et l'unité de traitement. Les modèles IPERM et IOCG sont finalement utilisés pour synthétiser l'unité de communication. Nous avons appliqué notre méthode à des algorithmes des domaines du TDSI et des Télécommunications. La première expérience est réalisée sur un exemple de Transformée de Fourrier Rapide (FFT). Pour les conditions d'expérimentation retenues, l'optimisation du nombre d'opérateurs est en moyenne de 20% et celle des registres de 7%, par rapport à une approche classique. La deuxième expérience utilise une Transformée en Cosinus Discrète (DCT) pour comparer les résultats, obtenus en appliquant l'approche d'intégration proposée dans ce manuscrit, avec les résultats des méthodes utilisant des adaptateurs. Pour l'exemple considéré, le gain sur les registres de communications varie de -2% à 88% à débit d'E/S constant. La dernière expérience, réalisée en partenariat industriel, démontre l'applicabilité de notre méthodologie sur un composant virtuel comportemental complexe (Maximum A Posteriori MAP) dans le contexte d'une application de Turbo décodage temps réel.Nous proposons dans ce mémoire une approche de réutilisation des IPs dans les applications orientées traitement du signal, de l'image et des télécommunications. Pour cela, nous basons notre approche sur la notion de composants virtuels de niveau algorithmique, définie dans le cadre des projets RNRT MILPAT (Méthodologie et Développement pour les Intellectual Properties pour Applications Telecom). Le flot de conception proposé s'inscrit dans la démarche Adéquation Algorithme Architecture du projet RNRT ALITPA (Définition et Application d'une méthodologie de développement pour les (IP) intellectual property de niveau comportemental dans les applications de télécommunication) et est basé sur l'utilisation de techniques de synthèse haut niveau sous contraintes d'intégration. Les unités fonctionnelles constituant l'architecture cible du composant sont (re)conçues en fonction des caractéristiques de l'architecture de communication du système et de la spécificité de l'application.Dans ce contexte, la spécification de l'IP est modélisée par un Graphe Flot de Signaux (SFG) qui, couplé aux temps de propagations des opérateurs et à la cadence d'itération, permet la génération d'un graphe de contrainte algorithmique ACG. Nous avons développé une d'analyse formelle des contraintes, qui repose sur les calculs de cycles, et permet de vérifier la cohérence entre la cadence, les dépendances de données de l'algorithme et les contraintes technologiques.Les contraintes d'intégration, spécifiées pour chacun des bus (ports) connectants l'IP aux autres composants du système, sont modélisées par un graphe de contraintes d'Entrée/Sortie IOCG (IO Constraint Graph) dont la sémantique est issue des travaux de Ku et De Micheli. Ce modèle supporte, entre autre, la modélisation (1) du type de transferts, (2) des varations temporelles des dates d'arrivées des données, (3) du séquencement des données échangées (4) des mécanismes liés aux protocoles. Les contraintes d'intégration et les contraintes algorithmiques de l'IP sont fusionnées pour fournir un graphe détaillé des contraintes GCG (Global Constraint Graph) exhibant les points de synchronisation entre l'environnement et le composant. Des optimisations pour l'implémentations sont proposées à partir de transformations formelles du graphe.La synthèse de l'unité de traitement (UT) est réalisée à l'aide de l'outil GAUT (Générateur Automatique d'Unité de Traitement) dont l'ordonnancement est contraint par les paramètres temporel de l'intégrateur du composant virtuel. La synthèse de l'UT génère un ensemble de contraintes au E/S, modélisé sous la forme d'un IPERM (IP Execution Requirement Model). Ce dernier modélise (1) les dates de production et de consommation des données dans l'UT et (2) les bus sur lesquels elles transitent entre l'unité de communication et l'unité de traitement. Les modèles IPERM et IOCG sont finalement utilisés pour synthétiser l'unité de communication.Nous avons appliqué notre méthode à des algorithmes des domaines du TDSI et des Télécommunications. La première expérience est réalisée sur un exemple de Transformée de Fourrier Rapide (FFT). Pour les conditions d'expérimentation retenues, l'optimisation du nombre d'opérateurs est en moyenne de 20% et celle des registres de 7%, par rapport à une approche classique. La deuxième expérience utilise une Transformée en Cosinus Discrète (DCT) pour comparer les résultats, obtenus en appliquant l'approche d'intégration proposée dans ce manuscrit, avec les résultats des méthodes utilisant des adaptateurs. Pour l'exemple considéré, le gain sur les registres de communications varie de -2% à 88% à débit d'E/S constant. La dernière expérience, réalisée en partenariat industriel, démontre l'applicabilité de notre méthodologie sur un composant virtuel comportemental complexe (Maximum A Posteriori MAP) dans le contexte d'une application de Turbo décodage temps réel.

This work focuses on the UML/PNO (Unified Modelling Language with Petri Net Objects) approach for the specification of real-time systems. It enhances the UML dynamic diagrams with the Petri Nets (PN) formal language. The concept of real-time components, called "Compound Object", has been developed as an extension of the UML sub-systems. The aim is to improve the system modelling and structuring. The behaviour of a Compound Object is described by means of time PN. The timing intervals are assigned to PN places and transitions. Thus, formal verification of timing constraints can be done. The validation approach relies upon on the semi-automatic translation of the UML dynamic diagrams into Petri Nets. During such a derivation, some UML diagrams inconsistencies are automatically detected. Then, existing PN tools can be used for simulation and performance analysis. The verification process uses a model-checking analysis based on linear state class graph. When a non-respected timing constraint occurs, a theorem proving approach based on linear logic is used in order to capture the causality relationships. A part of the UML/PNO approach has been integrated in a CASE Tool as an "ArgoPNO" module. It is now available in the ArgoUML environment.; Ce travail présente l'approche UML/PNO (Unified Modelling Language with Petri Net Objects) pour la spécification de systèmes temps réel. La méthode propose d'enrichir la description semi-formelle UML du système par une modélisation formelle basée sur les réseaux de Petri. Les concepts UML de sous-système et d'interface ont été étendus afin d'améliorer la description de la vue système en termes de tructuration, gestion de projet et organisation de la modélisation. L'objectif est également d'adapter la méthode de modélisation système à une approche " orientée composant " pour le temps réel. Le concept " d'objet composé " permet d'intégrer des spécificités temps réel au sein du composant (protocole de communication, contrainte temporelle, effet observable). Le comportement des objets est spécifié à l'aide des réseaux de Petri à places et transitions stochastiques temporelles afin de permettre la validation et la vérification du système en cours de spécification. L'approche de validation propose des traductions semi-automatiques des diagrammes UML en réseaux de Petri. Les techniques classiques de simulation et d'évaluation de performances peuvent alors être appliquées. Ces traductions présentent l'avantage de rassembler, sur un même modèle à réseau de Petri, tous les aspects dynamiques du composant apparaissant dans différents diagrammes UML et de vérifier ainsi la cohérence de son comportement et de son utilisation. La vérification utilise les techniques d'analyse formelle, basées sur l'utilisation conjointe du graphe de classes et de la logique linéaire. Une approche de vérification quantitative des contraintes temporelles est proposée au niveau de l'analyse des besoins et des exigences du système. Une partie de ce travail a été concrétisée par l'intégration d'un module (ArgoPNO) dans l'atelier de génie logiciel ArgoUML. A ce jour, une première automatisation de la démarche de vérification des contraintes temporelles est opérationnelle sur cet outil.

This work focuses on the UML/PNO (Unified Modelling Language with Petri Net Objects) approach for the specification of real-time systems. It enhances the UML dynamic diagrams with the Petri Nets (PN) formal language. The concept of real-time components, called "Compound Object", has been developed as an extension of the UML sub-systems. The aim is to improve the system modelling and structuring. The behaviour of a Compound Object is described by means of time PN. The timing intervals are assigned to PN places and transitions. Thus, formal verification of timing constraints can be done. The validation approach relies upon on the semi-automatic translation of the UML dynamic diagrams into Petri Nets. During such a derivation, some UML diagrams inconsistencies are automatically detected. Then, existing PN tools can be used for simulation and performance analysis. The verification process uses a model-checking analysis based on linear state class graph. When a non-respected timing constraint occurs, a theorem proving approach based on linear logic is used in order to capture the causality relationships. A part of the UML/PNO approach has been integrated in a CASE Tool as an "ArgoPNO" module. It is now available in the ArgoUML environment.; Ce travail présente l'approche UML/PNO (Unified Modelling Language with Petri Net Objects) pour la spécification de systèmes temps réel. La méthode propose d'enrichir la description semi-formelle UML du système par une modélisation formelle basée sur les réseaux de Petri. Les concepts UML de sous-système et d'interface ont été étendus afin d'améliorer la description de la vue système en termes de tructuration, gestion de projet et organisation de la modélisation. L'objectif est également d'adapter la méthode de modélisation système à une approche " orientée composant " pour le temps réel. Le concept " d'objet composé " permet d'intégrer des spécificités temps réel au sein du composant (protocole de communication, contrainte temporelle, effet observable). Le comportement des objets est spécifié à l'aide des réseaux de Petri à places et transitions stochastiques temporelles afin de permettre la validation et la vérification du système en cours de spécification. L'approche de validation propose des traductions semi-automatiques des diagrammes UML en réseaux de Petri. Les techniques classiques de simulation et d'évaluation de performances peuvent alors être appliquées. Ces traductions présentent l'avantage de rassembler, sur un même modèle à réseau de Petri, tous les aspects dynamiques du composant apparaissant dans différents diagrammes UML et de vérifier ainsi la cohérence de son comportement et de son utilisation. La vérification utilise les techniques d'analyse formelle, basées sur l'utilisation conjointe du graphe de classes et de la logique linéaire. Une approche de vérification quantitative des contraintes temporelles est proposée au niveau de l'analyse des besoins et des exigences du système. Une partie de ce travail a été concrétisée par l'intégration d'un module (ArgoPNO) dans l'atelier de génie logiciel ArgoUML. A ce jour, une première automatisation de la démarche de vérification des contraintes temporelles est opérationnelle sur cet outil.

A timed automaton is an automaton augmented with several clocks that measure the time passage and may influence state changes in the system. Timed automata were introduced as a formal model for real-time systems hoping that their role in the verification of such systems will be similar to the role of finite automata in the systematic search of errors in the design of untimed systems. In our thesis we are concerned with several theoretical questions related to timed automata and timed languages. In the first part of the thesis we investigate a simple sub-class of timed automata with one clock which is reset at each transition. We show that for this sub-class we can obtain simple analogs of the classical results of automata theory, namely Kleene and Myhill-Nerode theorems and closure under complementation. The second and main part of the thesis is motivated by the timed regular expressions of Asarin, Caspi and Maler where it was shown that, in order to match the expressive power of timed automata, one needs to introduce intersection into the expressions. We investigate an alternative to intersection by using colored parentheses for defining timing restrictions on overlapping parts of a sequence. This idea leads to an alternative representation of languages of timed automata, which is based on a new class of languages called here . We develop the theory of regular expressions over regminoes and prove that their emptiness problem is undecidable in general, and decidable for a large subclass of languages. From these results we develop new data-structures and algorithms for solving emptiness and reachability problems for timed automata and regular expressions., Un automate temporisé est un automate augmenté avec plusieurs horloges qui mesurent le passage de temps et peuvent conditionner la modification de l'état du système. Les automates temporisés ont été introduits en tant que modèle formel pour les systèmes temps-réel, en espérant que leur rôle dans la vérification de tels systèmes sera similaire au rôle des automates finis dans la recherche systématique des erreurs de conception de systèmes non-temporisés. Dans notre thèse nous étudions plusieurs questions théoriques liés aux automates temporisés et aux langages temporisés. Dans une première partie nous étudions une sous-classe simple d'automates temporisés à une seule horloge qui est remise à zéro pendant chaque transition. Nous montrons que cette sous-classe supporte des résultats similaires à la théorie classique des automates finis: des théorèmes de Kleene, de Myhill-Nerode et de fermeture par complémentation. La deuxième et principale partie de la thèse est motivée par les expressions régulières temporisés de Asarin, Caspi et Maler. Depuis leur introduction, on sait qu'il faut employer l'intersection dans les expressions régulières pour que leur expressivité soit égale aux automates temporisés. Nous poursuivons alors une approche alternative en utilisant des parenthèses colorées pour définir les contraintes temporelles sur une séquence d'événements. Cette idée aboutit à une représentation alternative des langage des automates temporisés, basée sur une nouvelle classe de langages formels que nous appelons . Nous développons alors la théorie des expressions régulières sur les regminos et nous montrons que le problème de sémantique vide est indécidable en cas général, et décidable pour une sous-classe large de langages. L'application de ces résultats nous amène à des nouvelles structures de données et à des algorithmes pour le problème du langage vide dans les automates temporisés et les expressions régulières.

Colloque avec actes et comité de lecture. internationale.; International audience; The fieldbuses take more and more a major place in automation systems, in embedded systems, and in building automation. They are more and more numerous. In view of this state of affairs, the question on the future and on the research to be developed is running through all the heads. This paper tries to answer this question indicating some ways to be investigated in order to solve pending questions. Two classes of question are identified, on one hand on the application design, modelisation and validation, on the other hand on the executive support, protocols and operating systems. There is an important need for : - New modelling methods ans techniques for validation of operational architectures, - test generation techniques, -development tools allowing a maximum interoperability between equipment for a system, -more dynamical protocols and resources allocation.

Rapport interne.; This document describes the representations of the time constraints in the NOAH project.