Modular Compilation of a Synchronous Language

Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing the reliability of systems, especially those which are safety or business critical. It is still difficult to develop automatic specification and verification tools due to limitations like state explosion, undecidability, etc... In this work, we design a new specification model based on a reactive synchronous approach. Then, we benefit from a formal framework well suited to perform compilation and formal validation of systems. In practice, we design and implement a special purpose language (LE) and its two semantics~: the ehavioral semantics helps us to define a program by the set of its behaviors and avoid ambiguousness in programs' interpretation; the execution equational semantics allows the modular compilation of programs into software and hardware targets (c code, vhdl code, fpga synthesis, observers). Our approach is pertinent considering the two main requirements of critical realistic applications~: the modular compilation allows us to deal with large systems, the model-based approach provides us with formal validation

Shift from oil fueled cars for future sustainable mobilities

http://www.aaee.at/2009-IAEE/details.phpInternational audienceOver a 50 years period (2000-2050), required demands for energy services including mobility- differentiated in short and long distance travels- have to be satisfied simultaneously with a strong constraint on CO2 emission levels i.e. a reduction by 50 to 75% of the emissions by 2050 compared to their 1990 level (except international transportation). The systemic approach used ensures consistency of the results across all end-use sectors. This methodology is used to propose a focus on personal vehicles in order to highlight the long term relationship between carbon constraints, technologies road map and cross sectors effects

Postglacial Vegetation at the Northern Limit of Lichen Woodland in Northwestern Québec

Three pollen diagrams from the northern part of the lichen woodland in northwestern Québec show broadly similar Holocene vegetation sequences. Following deglaciation, shortly after 6000 yr BP, shrub and herbaceous tundra plants dominated briefly; Larix Iaricina, Populus and Juniperus were also important elements of the landscape. A maximum of AInus crispa and Betula was followed by a period dominated by Picea. In the northernmost site, the forests opened in response to neoglacial cooling during the past 1000 years. Today only black spruce (Picea mariana) grows in northwestern Québec and there is no evidence that white spruce (P. glauca) ever migrated into the region.Trois diagrammes polliniques provenant de la limite septentrionale de la pessiere à lichens du nord-ouest du Québec montrent des séquences en grande partie similaires durant l'Holocène. Après la déglaciation, survenue vers 6000 BP, la végétation de la région a été dominée par les plantes herbacées et arbustives de la toundra. Larix laricina, Populus et Juniperus ont aussi constitué des éléments importants du paysage. Un maximum d'AInus crispa et de Betula a été suivi par une période dominée par Picea. Dans le site le plus nordique, les forêts se sont ouvertes durant les 1000 dernières années en réponse au refroidissement néoglaciaire. Actuellement, seule l'épinette noire (Picea mariana) croît au nord-ouest du Québec, et les résultats laissent croire que l'épinette blanche (P. glauca) ne s'est jamais établie dans la région.Drei Pollen-Diagramme vom nôrdlichen Teil des Flechten-Tannenwalds in Nordwest-Québec zeigen in groBen Zùgen àhnliche Vegetations-Sequenzen wâhrend des Holozan. Nach der Enteisung, kurz nach 6000 Jahren v.u.Z., dominierten eine kurze Zeit lang Pfianzen der Busch- und Gras-Tundra; Larix laricina, Populus und Juniperus waren auch wichtige Elemente der Landschaft. Auf ein Maximum von AInus crispa und Betula folgte eine von Picea beherrschte Période. Im nôrdlichsten Teil Ôffneten sich die Wâlder wàhrend der letzten 1000 Jahre als Reaktion auf eine neoglaziale Abkûhlung. Heute wâchst nur die schwarze Fichte (Picea mariana) in Nordwest-Québec und es gibt keinen Beleg dafùr, daR die WeiRtanne (Picea glauca) jemals in die Region wanderte

Securing harbor by combining probabilistic approach with event-based approach

International audienceAs a part of SECuring MARitime (SECMAR) project that aimed to improve security at Marseilles harbor, we developed a decision support system that helps port staff to better monitor ship behavior. It consists of two complementary sub-systems. The first system is based on the probabilistic Hidden Markov Model (HMM) approach and deals with nominal (regular and recurrent) behavior of large to medium size of commercial ships. The second system is based on the reactive synchronous language Esterel and concerns aggressive and transgressive behavior of small ships that may navigate freely in the harbor. Real-time evaluations showed that the proposed decision support system efficiently captured and evaluated ship behavior

L'expérience de socialisation aux rôles d'un homme et d'une femme vécue par les conjoints ayant des comportements violents dans le cadre de leur participation à un groupe de thérapie animé par un homme et une femme

Cette étude a pour objectif de comprendre en quoi la coanimation mixte dans les groupes de thérapie pour conjoints violents participe à la socialisation aux rôles d 'un homme et d 'une femme. Des entrevues ont été menées auprès de 25 hommes ayant participé à des groupes animés par un homme et une femme. Ils ont été rencontrés au début et vers la fin de leur cheminement dans le groupe. Le discours des répondants sur le déroulement de la coanimation mixte a été analysé sous l'angle des processus qui ont une influence sur la socialisation aux rôles d 'un homme et d 'une femme. L'étude permet de comprendre comment les interactions avec l'animateur et l'animatrice contribuent à la socialisation aux rôles d 'un homme et d'une femme. La thèse fournit un éclairage sur le potentiel de la coanimation mixte dans les groupes de thérapie, ainsi que sur les difficultés pouvant être vécues par les membres

Relation longitudinale entre les troubles extériorisés et intériorisés chez les garçons et les filles d’âge primaire : exploration du dual failure model

Ce mémoire a pour objectif d’établir la relation longitudinale entre les troubles extériorisés identifiés durant l’enfance et le développement ultérieur de troubles intériorisés. Plus spécifiquement, les effets de la victimisation par les pairs et des problèmes académiques dans cette relation seront explorés, ainsi que les différences entre les garçons et les filles. L’étude s’est déroulée pendant 3 ans, auprès de 472 enfants âgés initialement de 6 à 9 ans. Les analyses de régressions linéaires hiérarchiques et les modèles de médiations ont indiqué que la victimisation par les pairs avait un effet médiateur dans la relation longitudinale entre les troubles extériorisés et intériorisés, selon le parent seulement. Les problèmes académiques, quant à eux, avaient un effet médiateur dans la relation successive entre les deux troubles, mais selon l’enseignant seulement. Des différences ont également pu être observées entre les genres. La victimisation par les pairs avait un effet médiateur pour les filles, mais pas pour les garçons, selon le parent. Tandis que les problèmes académiques avaient un effet médiateur chez les garçons et chez les filles, selon l’enseignant. La médiation via les problèmes académiques était toutefois plus forte chez les garçons

Les enjeux du processus d'institutionnalisation des indicateurs de bien-être territorialisés : le cas de l'expérience grenobloise

13 p.Une expérimentation impulsée par des chercheurs et des professionnels des politiques publiques visant à construire des indicateurs de bien-être soutenable territorialisée à l'échelle du territoire de l'agglomération grenobloise a émergé à la croisée des considérations scientifiques sur les indicateurs alternatifs (Sen et Stiglitz (2009), Perret (2002) et Viveret (2002)) et des enjeux associés à l'enrichissement de l'observation locale face aux limites des indicateurs existants. Cette communication propose d'analyser l'expérience Indicateurs de Bien Étre Soutenable Territorialisées pour apporter une contribution à l'analyse des leviers et barrières à l'institutionnalisation des indicateurs alternatifs. Différentes questions sont soulevées : comment approcher cet objet "bien-être" par essence multidimensionnel (Sen, 2000) et transdisciplinaire ? Comment rendre compte des territoires et de la localité (Desrosières, 1994) et en même temps, disposer d'indicateurs qui ont un sens dans la perspective de comparaisons nationales voire internationales ? Comment passer de la convention à la mesure pour permettre la transformation de catégories de connaissance en catégories d'action publique et collective

Les enjeux du processus d'institutionnalisation des indicateurs de bien-être territorialisés : le cas de l'expérience grenobloise

13 p.Une expérimentation impulsée par des chercheurs et des professionnels des politiques publiques visant à construire des indicateurs de bien-être soutenable territorialisée à l'échelle du territoire de l'agglomération grenobloise a émergé à la croisée des considérations scientifiques sur les indicateurs alternatifs (Sen et Stiglitz (2009), Perret (2002) et Viveret (2002)) et des enjeux associés à l'enrichissement de l'observation locale face aux limites des indicateurs existants. Cette communication propose d'analyser l'expérience Indicateurs de Bien Étre Soutenable Territorialisées pour apporter une contribution à l'analyse des leviers et barrières à l'institutionnalisation des indicateurs alternatifs. Différentes questions sont soulevées : comment approcher cet objet "bien-être" par essence multidimensionnel (Sen, 2000) et transdisciplinaire ? Comment rendre compte des territoires et de la localité (Desrosières, 1994) et en même temps, disposer d'indicateurs qui ont un sens dans la perspective de comparaisons nationales voire internationales ? Comment passer de la convention à la mesure pour permettre la transformation de catégories de connaissance en catégories d'action publique et collective