Towards Experience Management for Very Small Entities

International audienceThe ISO/IEC 29110 standard: Lifecycle profiles for Very Small Entities, provides several Process Reference Models applicable to the vast majority of very small entities (defined by the ISO as "an entity (enterprise, organization, department or project) having up to 25 people") which do not develop critical software and share typical situational factors. An ISO/IEC 29110 pilot project has been established between the Software Engineering group at Brest University and a 14-employee company with the aim of establishing an engineering discipline for a new Web-based project. As the project proceeded, it became apparent that setting up the ISO/IEC 29110 standard has to be performed in two steps: 1) provide self-training materials to the VSE employees on this new standard; and 2) support good practices with a simple Experience Management system which is compatible with the ISO/IEC 29110 standard. This paper reports the lessons learned about training from the pilot project, and addresses the research issues associated with the Experience Management system

Experience Management for Very Small Entities: Improving the Copy-paste Model

International audienceThe emerging ISO/IEC 29110 standard Lifecycle profiles for Very Small Entities is developing a "Generic" profile group applicable to a vast majority of very small entities (enterprises, organizations, departments or projects) having up to 25 people, that do not develop critical software and have typical situational factors. The developers of the standard, ISO/IEC JCT1/SC7 Working Group 24, recommended the use of pilot projects as a mean to trial the adoption of the new International standard in small organizations. Accordingly an ISO/IEC 29110 pilot project has been established between the Software Engineering group of Brest University and a 14-person company with the aim of establishing an engineering discipline for a new web-based project. As the project proceeded, it became apparent that the current set of ISO/IEC 29110 documents describing a first profile, the Basic profile, was not sufficient to sustain this VSE in its SE activities. What was needed was to organize the knowledge contained in them. The results of this pilot study are providing VSEs with a simple Experience Management system which is compatible with the emerging ISO/IEC 29110 standard. It is founded on two principles: 1) keeping the Content Management System-based Experience Management infrastructure as simple as possible, structured with the decomposition of the ISO/IEC 29110 processes; and 2) the requirement of Experience Management dedicated processes, taken from D. Schon's work on the reflection-on-action approach to learning

Un assistant de mémoire pour les très petits projets d'ingénierie du logiciel

International audienceNous proposons d'assister la mémoire des très petits projets d'ingénierie du logiciel avec une infrastructure la plus simple possible (un wiki sémantique) et des activités de gestion de connaissances intégrées dans deux processus issus de la norme ISO/IEC 29110, la gestion de projet (Project Management) et l'implémentation du logiciel (Software Implementation). L'enregistrement, la réutilisation, la recherche et le partage de connaissances sont facilités par l'emploi d'un noyau ontologique basé sur le modèle de référence CIDOC CRM, enrichi par la modélisation du domaine de la norme 29110

CD40 deficiency mitigates Alzheimer's disease pathology in transgenic mouse models

We have previously shown that transgenic mice carrying a mutant human APP but deficient in CD40L, display a decrease in astrocytosis and microgliosis associated with a lower amount of deposited Aβ. Furthermore, an anti-CD40L treatment causes a diminution of Aβ pathology in the brain and an improved performance in several cognitive tasks in the double transgenic PSAPP mouse model. Although these data suggest a potential role for CD40L in Alzheimer's disease pathology in transgenic mice they do not cast light on whether this effect is due to inhibition of signaling via CD40 or whether it is due to the mitigation of some other unknown role of CD40L. In the present report we have generated APP and PSAPP mouse models with a disrupted CD40 gene and compared the pathological features (such as amyloid burden, astrocytosis and microgliosis that are typical of Alzheimer's disease-like pathology in these transgenic mouse strains) with appropriate controls. We find that all these features are reduced in mouse models deficient for CD40 compared with their littermates where CD40 is present. These data suggest that CD40 signaling is required to allow the full repertoire of AD-like pathology in these mice and that inhibition of the CD40 signaling pathway is a potential therapeutic strategy in Alzheimer's disease

Provably secure compilation of side-channel countermeasures

Software-based countermeasures provide effective mitigation against side-channel attacks, often with minimal efficiency and deployment overheads. Their effectiveness is often amenable to rigorous analysis: specifically, several popular countermeasures can be formalized as information flow policies, and correct implementation of the countermeasures can be verified with state-of-the-art analysis and verification techniques. However, in absence of further justification, the guarantees only hold for the language (source, target, or intermediate representation) on which the analysis is performed. We consider the problem of preserving side-channel countermeasures by compilation, and present a general method for proving that compilation preserves software-based side-channel countermeasures. The crux of our method is the notion of 2-simulation, which adapts to our setting the notion of simulation from compiler verification. Using the Coq proof assistant, we verify the correctness of our method and of several representative instantiations

Un assistant de mémoire pour les très petits projets d’ingénierie du logiciel

Nous proposons d’assister la mémoire des très petits projets d’ingénierie du logiciel avec une infrastructure la plus simple possible (un wiki sémantique) et des activités de gestion de connaissances intégrées dans deux processus issus de la norme ISO/IEC 29110, la gestion de projet et l’implémentation du logiciel. L’enregistrement, la réutilisation, la recherche et le partage de connaissances sont facilités par l’emploi d’un noyau ontologique basé sur le modèle de référence CIDOC CRM, enrichi par la modélisation du domaine de la norme 29110.We propose assisting the memory of very small software engineering projects thanks to an infrastructure kept as simple as possible (a semantic wiki) as well as knowledge management activities integrated into two  ISO/IEC 29110 standard processes, namely Project Management and Software Implementation. The recording, re-using, researching, and sharing of knowledge are facilitated by the use of an ontological core based on the CIDOC CRM and enhanced by the domain modeling of the 29110 standard

The last mile: High-Assurance and High-Speed cryptographic implementations

We develop a new approach for building cryptographic implementations. Our approach goes the last mile and delivers assembly code that is provably functionally correct, protected against side-channels, and as efficient as handwritten assembly. We illustrate our approach using ChaCha20Poly1305, one of the two ciphersuites recommended in TLS 1.3, and deliver formally verified vectorized implementations which outperform the fastest non-verified code.We realize our approach by combining the Jasmin framework, which offers in a single language features of high-level and low-level programming, and the EasyCrypt proof assistant, which offers a versatile verification infrastructure that supports proofs of functional correctness and equivalence checking. Neither of these tools had been used for functional correctness before. Taken together, these infrastructures empower programmers to develop efficient and verified implementations by "game hopping", starting from reference implementations that are proved functionally correct against a specification, and gradually introducing program optimizations that are proved correct by equivalence checking.We also make several contributions of independent interest, including a new and extensible verified compiler for Jasmin, with a richer memory model and support for vectorized instructions, and a new embedding of Jasmin in EasyCrypt.This work is partially supported by project ONR N00014-19-1-2292. Manuel Barbosa was supported by grant SFRH/BSAB/143018/2018 awarded by FCT. This work was partially funded by national funds via FCT in the context of project PTDC/CCI-INF/31698/2017

Perspectives sur le statut des équipements électroniques à Montréal = Perspectives on the Status of Electronic Equipment in Montreal

"The [...] anthology responds to the ever-increasing amount of electronic equipment that is perceived as obsolete, valueless or disposable. Contributors from diverse disciplines including ecology, waste management, technology activism and contemporary art bring their expertise to bear on the consumption, use, obsolescence, disposal and repair and re-use of electronic equipment. Perspectives’ hybrid approach to these topics will be of interest to both general and specialized readers negotiating the cultural, environmental and social impacts of contemporary technology. Essays, projects and resource materials highlight approaches and practices that question consumption patterns and propose alternative approaches to using technology. Case studies and local contexts from Montreal Quebec are related to issues and initiatives across industrialized societies." -- Publisher's website

Reduction of β-amyloid pathology by celastrol in a transgenic mouse model of Alzheimer's disease

<p>Abstract</p> <p>Background</p> <p>Aβ deposits represent a neuropathological hallmark of Alzheimer's disease (AD). Both soluble and insoluble Aβ species are considered to be responsible for initiating the pathological cascade that eventually leads to AD. Therefore, the identification of therapeutic approaches that can lower Aβ production or accumulation remains a priority. NFκB has been shown to regulate BACE-1 expression level, the rate limiting enzyme responsible for the production of Aβ. We therefore explored whether the known NFκB inhibitor celastrol could represent a suitable compound for decreasing Aβ production and accumulation <it>in vivo</it>.</p> <p>Methods</p> <p>The effect of celastrol on amyloid precursor protein (APP) processing, Aβ production and NFκB activation was investigated by western blotting and ELISAs using a cell line overexpressing APP. The impact of celastrol on brain Aβ accumulation was tested in a transgenic mouse model of AD overexpressing the human APP695sw mutation and the presenilin-1 mutation M146L (Tg PS1/APPsw) by immunostaining and ELISAs. An acute treatment with celastrol was investigated by administering celastrol intraperitoneally at a dosage of 1 mg/Kg in 35 week-old Tg PS1/APPsw for 4 consecutive days. In addition, a chronic treatment (32 days) with celastrol was tested using a matrix-driven delivery pellet system implanted subcutaneously in 5 month-old Tg PS1/APPsw to ensure a continuous daily release of 2.5 mg/Kg of celastrol.</p> <p>Results</p> <p><it>In vitro</it>, celastrol dose dependently prevented NFκB activation and inhibited BACE-1 expression. Celastrol potently inhibited Aβ_1-40and Aβ_1-42production by reducing the β-cleavage of APP, leading to decreased levels of APP-CTFβ and APPsβ. <it>In vivo</it>, celastrol appeared to reduce the levels of both soluble and insoluble Aβ_1-38, Aβ_1-40and Aβ_1-42. In addition, a reduction in Aβ plaque burden and microglial activation was observed in the brains of Tg PS1/APPsw following a chronic administration of celastrol.</p> <p>Conclusions</p> <p>Overall our data suggest that celastrol is a potent Aβ lowering compound that acts as an indirect BACE-1 inhibitor possibly by regulating BACE-1 expression level via an NFκB dependent mechanism. Additional work is required to determine whether chronic administration of celastrol can be safely achieved with cognitive benefits in a transgenic mouse model of AD.</p