Projet UNIT GIMIROB : Gestion Immobilière, Maintenance, Inspection pouR les Ouvrages et les Bâtiments

Méthodes et approchesInternational audienceLe projet GIMIROB constitue un produit de formation portant sur divers aspects liés à la gestion des ouvrages de génie civil et des bâtiments. Il se situe à l'interface des besoins de connaissance des ingénieurs en construction civile qui souhaitent mieux appréhender des problématiques de gestion de patrimoine(s), et des gestionnaires de patrimoine(s) qui souhaitent mieux comprendre comment le vieillissement des matériaux et des ouvrages affectent le patrimoine. Les modules de formation de base sont pour l'instant disponibles. Ils ont été produits par un collectif de 8 établissements et une équipe de 12 personnes sur des supports multiples (pages web, fichiers pdf, présentations ou document OpenOffice) à l'aide de la chaîne éditoriale Opale-Scenari. Les supports de formation seront prochainement accessibles que le portail d'UNIT. La suite du projet consistera à étendre les modules de formation et à les rendre plus interactifs les uns avec les autres pour qu'ils participent à un support effectif de web-formation

Fan-C, a Frama-C plug-in for data flow verification

International audienceDO-178B compliant avionics development processes must both define the data and control flows of embedded software at design level, and verify flows are faithfully implemented in the source code. This verification is traditionally performed during dedicated code reviews, but such intellectual activities are costly and error-prone, especially for large and complex software. In this paper, we present the Fan-C plug-in, developed by Airbus on top of the abstract-interpretation-based value and dataflow analyses of the Frama-C platform, in order to automate this verification activity for C avionics software. We therefore describe the Airbus context, the Frama-C platform, its value analysis and related plug-ins, the Fan-C plug-in, and discuss analysis results and ongoing industrial deployment and qualification activities

Spreading Static Analysis with Frama-C in Industrial Contexts

International audienceThis article deals with the usage of Frama-C to detect runtime-errors. As static analysis for runtime-error detection is not a novelty, we will present significant new usages in industrial contexts, which represent a change in the ways this kind of tool is employed. The main goal is to have a scalable methodology for using static analysis through the development process and by a development team. This goal is achieved by performing analysis on partial pieces of code, by using the ACSL language for interface definitions, by choosing a bottom-up strategy to process the code, and by enabling a well-balanced definition of actors and skills. The methodology, designed during the research project U3CAT, has been applied in industrial contexts with good results as for the quality of verifications and for the performance in the industrial process

The HSP70 modulator MAL3-101 inhibits Merkel cell carcinoma

Merkel Cell Carcinoma (MCC) is a rare and highly aggressive neuroendocrine skin cancer for which no effective treatment is available. MCC represents a human cancer with the best experimental evidence for a causal role of a polyoma virus. Large T antigens (LTA) encoded by polyoma viruses are oncoproteins, which are thought to require support of cellular heat shock protein 70 (HSP70) to exert their transforming activity. Here we evaluated the capability of MAL3-101, a synthetic HSP70 inhibitor, to limit proliferation and survival of various MCC cell lines. Remarkably, MAL3-101 treatment resulted in considerable apoptosis in 5 out of 7 MCC cell lines. While this effect was not associated with the viral status of the MCC cells, quantitative mRNA expression analysis of the known HSP70 isoforms revealed a significant correlation between MAL3-101 sensitivity and HSC70 expression, the most prominent isoform in all cell lines. Moreover, MAL3-101 also exhibited in vivo antitumor activity in an MCC xenograft model suggesting that this substance or related compounds are potential therapeutics for the treatment of MCC in the future. © 2014 Adam et al

Enhanced Southern Ocean marine productivity due to fertilization by giant icebergs

Primary productivity is enhanced within a few kilometres of icebergs in the Weddell Sea owing to the input of terrigeneous nutrients and trace elements during iceberg melting. However, the influence of giant icebergs, over 18 km in length, on marine primary production in the Southern Ocean is less well studied. Here we present an analysis of 175 satellite images of open ocean colour before and after the passage of 17 giant icebergs between 2003 and 2013. We detect substantially enhanced chlorophyll levels, typically over a radius of at least 4-10 times the iceberg's length, that can persist for more than a month following passage of a giant iceberg. This area of influence is more than an order of magnitude larger than that found for sub-kilometre scale icebergs or in ship-based surveys of giant icebergs. Assuming that carbon export increases by a factor of 5-10 over the area of influence, we estimate that up to a fifth of the Southern Ocean's downward carbon flux originates with giant iceberg fertilization. We suggest that, if giant iceberg calving increases this century as expected, this negative feedback on the carbon cycle may become more important

Taster, a Frama-C plug-in to enforce Coding Standards

International audienceEnforcing Coding Standards is part of the traditional concerns of industrial soft- ware developments. In this paper, we present a framework based on the open source Frama- C platform for easily developing syntactic, typing (and even some semantic) analyses of C source code, among which conformance to Coding Standards. We report on our successful attempt to develop a Frama-C plug-in named Taster, in order to replace a commercial, off-the-shelf, legacy tool in the verification process of several Airbus avionics software products. We therefore present the types of coding rules to be verified, the Frama-C platform and the Taster plug-in. We also discuss ongoing industrial deployment and qualification activities

Dunkerque, Nord, place Salengro : rapport de diagnostic

La recherche historique et archéologique dispose de peu d'éléments pour caractériser la ville avant le XIVe siècle. Le site de la place Salengro offre une opportunité d'observer l'évolution de la trame urbaine autour d'une des plus anciennes places de Dunkerque et d'analyser les variations du parcellaire aux abords du canal de la Panne