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

Éditorial

Le numéro 28 de la revue Projets de Paysage fait l’objet d’une exploration. Celle des régimes de savoirs qui orientent l’action en matière de paysage. Il s’est agi de repérer et de clarifier des modalités de production alternatives de savoirs en situation, de nature à faire évoluer et diversifier les manières de conduire et de penser l’action publique dans les territoires. Le sujet invitait à une opération critique. C’est-à-dire à la mise en évidence directe ou indirecte de régimes de savoirs..

Les savoirs paysagers dans l’action

Ce dossier thématique propose une exploration. Celle des régimes de savoirs qui orientent l’action en matière de paysage. Mais sous un angle particulier, en tentant de repérer et de clarifier des modalités de production alternatives de savoirs en situation, de nature à faire évoluer et diversifier les manières de conduire et de penser l’action publique dans les territoires. L’expérience ordinaire et l’action paysagère L’angle d’analyse qui a été proposé aux contributeurs est plus resserré enc..

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

New Insights Into the Role of Cav2 Protein Family in Calcium Flux Deregulation in Fmr1-KO Neurons

Fragile X syndrome (FXS), the most common form of inherited intellectual disability (ID) and a leading cause of autism, results from the loss of expression of the Fmr1 gene which encodes the RNA-binding protein Fragile X Mental Retardation Protein (FMRP). Among the thousands mRNA targets of FMRP, numerous encode regulators of ion homeostasis. It has also been described that FMRP directly interacts with Ca2+ channels modulating their activity. Collectively these findings suggest that FMRP plays critical roles in Ca2+ homeostasis during nervous system development. We carried out a functional analysis of Ca2+ regulation using a calcium imaging approach in Fmr1-KO cultured neurons and we show that these cells display impaired steady state Ca2+ concentration and an altered entry of Ca2+ after KCl-triggered depolarization. Consistent with these data, we show that the protein product of the Cacna1a gene, the pore-forming subunit of the Cav2.1 channel, is less expressed at the plasma membrane of Fmr1-KO neurons compared to wild-type (WT). Thus, our findings point out the critical role that Cav2.1 plays in the altered Ca2+ flux in Fmr1-KO neurons, impacting Ca2+ homeostasis of these cells. Remarkably, we highlight a new phenotype of cultured Fmr1-KO neurons that can be considered a novel cellular biomarker and is amenable to small molecule screening and identification of new drugs to treat FXS

La fabrique de Jardin

Ce projet fait suite à une demande des membres du conseil de quartier de Caychac de la commune de Blanquefort, située à la périphérie nord de la ville de Bordeaux. Il s'agit du (réa)ménagement d'un parc du XIXème siècle, d'une superficie d'un hectare, en cœur de quartier, entre un bourg ancien et un lotissement pavillonnaire des années 80. Le parc de Cambon se compose d'une multitude d'éléments singuliers, de nombreux arbres remarquables, d'une « fabrique de jardin », de sources, d'un bassin, d'une fontaine. Pourtant, cet espace doté d'un grand potentiel pour améliorer le cadre de vie de la population était sous-exploité depuis plus d'une vingtaine d'années. En 2006, le conseil de quartier de Caychac choisit d'investir le montant total cumulé sur quatre ans de son « enveloppe budgétaire participative » (soit 60.000 €) pour mettre en valeur le parc de Cambon. Dans un premier temps, le conseil lance un questionnaire à l'échelle du quartier pour récolter les avis, remarques et propositions éventuelles des habitants. Une trentaine de réponses sont enregistrées dont la synthèse donne naissance à une liste de désirs et de propositions permettant d'engager le dialogue avec la mairie et ses services techniques. Face à l'ampleur et la complexité du projet, la ville se tourne vers l'École nationale supérieure d'architecture et de paysage de Bordeaux (Ensap Bx), mais sans succès. Les mois s'écoulent, les habitants s'impatientent. En janvier 2007, la commune propose à Stéphane Duprat, habitant du quartier et tout jeune paysagiste dplg diplômé de l'Ensap Bx, d'épauler la mairie et les habitants. Il accepte volontiers, bénévolement au titre d'habitant/paysagiste

Une ‟communauté de pratiqueˮ pour accompagner l’innovation socio-spatiale en Creuse

International audienceThis contribution aims to focus not so much on the individual and isolated figure of the researcher as on the collective figure of the “pratice community” (Lave & Wenger, 1991). It highlights the mechanisms of emergence and structuring of a community of this type located at the articulation of the worlds of research and teaching and those of action. To this end, the approach consisted in accompanying, from the inside, the actions and trajectories of individuals acting within hybrid collectives in which teachers-researchers, professionals of the socio-spatial project (architects, urban planners, landscape architects or designers), elected officials and agents of public authorities rub shoulders. The work on which the proposed reflection is based is located in the department of Creuse, a territory considered to be ‘hyper-rural’ where a Public Innovation Laboratory is being developed. It is part of a wider research programme on the processes of socio-spatial innovation in the marginal territories of the Nouvelle-Aquitaine region. The results obtained call into question the routine functioning of institutions that are too often subject to the imperatives of a highly constrained electoral calendar. They show the importance of taking into account the knowledge produced both by researchers in the action process and by local actors in an experimental situation. The objective is to contribute to the evolution and diversification of the ways of conducting and thinking about public action in local territories through a renewal of socio-spatial practices.Cette contribution vise à mettre l’accent non pas tant sur la figure individuelle et isolée de chercheur que sur celle, collective, de « communauté de pratique » (Lave et Wenger, 1991). Y sont mis en évidence les mécanismes d’émergence et de structuration d’une communauté de ce type, située à l’articulation des mondes de la recherche et de l’enseignement et de ceux de l’action. Pour cela, la démarche a consisté à accompagner, de l’intérieur, les actes et les trajectoires d’individus agissant au sein de collectifs hybrides dans lesquels se côtoient enseignants-chercheurs, professionnels du projet socio-spatial (architectes, urbanistes, paysagistes et designers), élus et agents de collectivités publiques. Les travaux sur lesquels s’appuie la réflexion proposée se situent dans le département de la Creuse, territoire considéré comme « hyper-rural », où se préfigure un Laboratoire d’innovation publique. Ils s’inscrivent dans le cadre plus large d’un programme de recherche portant sur les processus d’innovation socio-spatiale dans les territoires en marge de la région Nouvelle-Aquitaine. Les résultats obtenus remettent en cause les fonctionnements routiniers d’institutions trop souvent soumises aux impératifs d’un calendrier électoral très contraint. Ils montrent tout l’intérêt de prendre en compte les connaissances produites tant par les chercheurs dans les processus d’action que par les acteurs locaux en situation d’expérimentation. L’objectif est, sur ces bases, de contribuer à faire évoluer et à diversifier les manières de conduire et de penser l’action publique dans les territoires locaux par un renouvellement des pratiques socio-spatiales

A "community of practiceˮ to support socio-spatial innovation in Creuse (France)

Cette contribution vise à mettre l’accent non pas tant sur la figure individuelle et isolée de chercheur que sur celle, collective, de « communauté de pratique » (Lave et Wenger, 1991). Y sont mis en évidence les mécanismes d’émergence et de structuration d’une communauté de ce type, située à l’articulation des mondes de la recherche et de l’enseignement et de ceux de l’action. Pour cela, la démarche a consisté à accompagner, de l’intérieur, les actes et les trajectoires d’individus agissant au sein de collectifs hybrides dans lesquels se côtoient enseignants-chercheurs, professionnels du projet socio-spatial (architectes, urbanistes, paysagistes et designers), élus et agents de collectivités publiques. Les travaux sur lesquels s’appuie la réflexion proposée se situent dans le département de la Creuse, territoire considéré comme « hyper-rural », où se préfigure un Laboratoire d’innovation publique. Ils s’inscrivent dans le cadre plus large d’un programme de recherche portant sur les processus d’innovation socio-spatiale dans les territoires en marge de la région Nouvelle-Aquitaine. Les résultats obtenus remettent en cause les fonctionnements routiniers d’institutions trop souvent soumises aux impératifs d’un calendrier électoral très contraint. Ils montrent tout l’intérêt de prendre en compte les connaissances produites tant par les chercheurs dans les processus d’action que par les acteurs locaux en situation d’expérimentation. L’objectif est, sur ces bases, de contribuer à faire évoluer et à diversifier les manières de conduire et de penser l’action publique dans les territoires locaux par un renouvellement des pratiques socio-spatiales.This contribution aims to focus not so much on the individual and isolated figure of the researcher as on the collective figure of the “pratice community” (Lave & Wenger, 1991). It highlights the mechanisms of emergence and structuring of a community of this type located at the articulation of the worlds of research and teaching and those of action. To this end, the approach consisted in accompanying, from the inside, the actions and trajectories of individuals acting within hybrid collectives in which teachers-researchers, professionals of the socio-spatial project (architects, urban planners, landscape architects or designers), elected officials and agents of public authorities rub shoulders. The work on which the proposed reflection is based is located in the department of Creuse, a territory considered to be ‘hyper-rural’ where a Public Innovation Laboratory is being developed. It is part of a wider research programme on the processes of socio-spatial innovation in the marginal territories of the Nouvelle-Aquitaine region. The results obtained call into question the routine functioning of institutions that are too often subject to the imperatives of a highly constrained electoral calendar. They show the importance of taking into account the knowledge produced both by researchers in the action process and by local actors in an experimental situation. The objective is to contribute to the evolution and diversification of the ways of conducting and thinking about public action in local territories through a renewal of socio-spatial practices

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