A Model-based transformation process to validate and implement high-integrity systems

Despite numerous advances, building High-Integrity Embedded systems remains a complex task. They come with strong requirements to ensure safety, schedulability or security properties; one needs to combine multiple analysis to validate each of them. Model-Based Engineering is an accepted solution to address such complexity: analytical models are derived from an abstraction of the system to be built. Yet, ensuring that all abstractions are semantically consistent, remains an issue, e.g. when performing model checking for assessing safety, and then for schedulability using timed automata, and then when generating code. Complexity stems from the high-level view of the model compared to the low-level mechanisms used. In this paper, we present our approach based on AADL and its behavioral annex to refine iteratively an architecture description. Both application and runtime components are transformed into basic AADL constructs which have a strict counterpart in classical programming languages or patterns for verification. We detail the benefits of this process to enhance analysis and code generation. This work has been integrated to the AADL-tool support OSATE2

Un modèle intégré pour [l'enseignement], l'apprentissage [et l'évaluation] d'une compétence /

Bibliogr

An implementation of the behavior annex in the AADL-toolset Osate2

AADL is a modeling language to design and analyze High-Integrity Distributed and Real-time systems. Embedded sub-languages published as AADL annexes extend an AADL model to enhance analysis. The behavior annex specifies the behavior of an AADL application model. An implantation of this annex allows to perform behavior analysis. In addition, as there are several AADL annexes, the implementation of generic mechanisms to support each one of them is challenging. The behavior annex is a valid candidate to illustrate these challenges by combining several sub-languages. In this paper we expose our experiment to support the behavior annex in the reference AADL toolset OSATE2. This one, supports the AADL version 2 by providing a front-end and a set of analysis plug-ins to analyze an AADL model

Market impacts and the life cycle of investors orders

In this paper, we use a database of around 400,000 metaorders issued by investors and electronically traded on European markets in 2010 in order to study market impact at different scales. At the intraday scale we confirm a square root temporary impact in the daily participation, and we shed light on a duration factor in $1/T^{\gamma}$ with $\gamma \simeq 0.25$. Including this factor in the fits reinforces the square root shape of impact. We observe a power-law for the transient impact with an exponent between $0.5$ (for long metaorders) and $0.8$ (for shorter ones). Moreover we show that the market does not anticipate the size of the meta-orders. The intraday decay seems to exhibit two regimes (though hard to identify precisely): a "slow" regime right after the execution of the meta-order followed by a faster one. At the daily time scale, we show price moves after a metaorder can be split between realizations of expected returns that have triggered the investing decision and an idiosynchratic impact that slowly decays to zero. Moreover we propose a class of toy models based on Hawkes processes (the Hawkes Impact Models, HIM) to illustrate our reasoning. We show how the Impulsive-HIM model, despite its simplicity, embeds appealing features like transience and decay of impact. The latter is parametrized by a parameter $C$ having a macroscopic interpretation: the ratio of contrarian reaction (i.e. impact decay) and of the "herding" reaction (i.e. impact amplification).Comment: 30 pages, 12 figure

Distributed Simulation of Heterogeneous and Real-time Systems

This work describes a framework for distributed simulation of cyber-physical systems (CPS). Modern CPS comprise large numbers of heterogeneous components, typically designed in very different tools and languages that are not or not easily composeable. Evaluating such large systems requires tools that integrate all components in a systematic, well-defined manner. This work leverages existing frameworks to facilitate the integration offers validation by simulation. A framework for distributed simulation is the IEEE High-Level Architecture (HLA) compliant tool CERTI, which provides the infrastructure for co-simulation of models in various simulation environments as well as hardware components. We use CERTI in combination with Ptolemy II, an environment for modeling and simulating heterogeneous systems. In particular, we focus on models of a CPS, including the physical dynamics of a plant, the software that controls the plant, and the network that enables the communication between controllers. We describe the Ptolemy extensions for the interaction with HLA and demonstrate the approach on a flight control system simulation

Facteurs prédictifs de l'efficacité d'une intervention combinant entraînement cognitif et activités de loisirs (programme ENGAGE)

Essai présenté en vue de l’obtention du grade de doctorat en Psychologie (D.Psy) Option Neuropsychologie cliniqueOBJECTIF: Cette étude visait à déterminer l’influence des caractéristiques individuelles sur l’efficacité d’interventions combinant entraînement cognitif et activités de loisirs. MÉTHODE: L’étude repose sur un essai contrôlé randomisé incluant 107 adultes âgés de 60 à 85 ans qui répondaient aux critères du déclin cognitif subjectif (DCS) ou du trouble neurocognitif léger (TNCL). Ils étaient assignés soit aux interventions ENGAGE-MUSIQUE (MUSIQUE) ou ENGAGE-ESPAGNOL (ESPAGNOL), qui combinaient entraînement cognitif et loisirs cognitivement stimulants, soit au programme ENGAGE-DISCOVERY (DISCOVERY), une condition de contrôle actif. Des modèles mixtes pour mesures répétées ont déterminé quelles variables prédisaient l’effet de l’intervention sur la performance en mémoire différée. Les variables évaluées étaient l’âge, le sexe attribué à la naissance (sexe), le nombre d’années de scolarité, le score à un questionnaire de réserve cognitive (QRC), les symptômes dépressifs, et le score initial à des tâches de flexibilité cognitive, d’inhibition et de mémoire épisodique. RÉSULTATS: Le sexe, le score au QRC et le score initial de flexibilité cognitive modéraient l’effet de l’intervention. Les femmes, les individus ayant un score plus élevé au QRC et ceux ayant un moindre score initial de flexibilité cognitive s’amélioraient plus à la suite des interventions MUSIQUE ou ESPAGNOL. Les individus ayant un meilleur score initial de flexibilité cognitive s’amélioraient davantage suivant DISCOVERY. CONCLUSION: Les effets d’interventions combinant entraînement cognitif et loisirs varient selon le sexe, le score à un questionnaire de réserve cognitive et le score initial de flexibilité cognitive. De telles informations pourraient servir à personnaliser les recommandations d’interventions cognitives en fonction des caractéristiques présentes chez les personnes âgées.OBJECTIVE: This study aimed to determine whether specific individual characteristics influenced the efficacy of interventions combining cognitive training and leisure activities. METHODS: This study is based on a randomized controlled trial that included 107 older adults aged 60 to 85, who met the criteria for subjective cognitive decline (SCD) or mild cognitive impairment (MCI). Participants were assigned to either the ENGAGE-MUSIC (MUSIC) or ENGAGE-SPANISH (SPANISH) interventions, which combined cognitive training with stimulating leisure activities, or the active control condition ENGAGE-DISCOVERY (DISCOVERY). Mixed models for repeated measures were used to identify predictors of intervention effects on delayed memory performance. Factors examined as predictors included age, sex assigned at birth (sex), years of formal education, Cognitive Reserve Questionnaire (CRQ) scores, depressive symptoms, and baseline scores on cognitive flexibility, inhibition, and episodic memory tasks. RESULTS: The results revealed that sex, CRQ scores, and baseline cognitive flexibility scores moderated intervention effects. Specifically, women, individuals with higher CRQ scores, and those with lower baseline cognitive flexibility performance exhibited greater improvements following the MUSIC or SPANISH interventions. Conversely, individuals with higher baseline cognitive flexibility performance demonstrated superior improvement from the DISCOVERY program. CONCLUSION: These findings underscore that intervention effects in combined cognitive training and leisure activities vary according to sex, CRQ scores, and baseline cognitive flexibility performance. Such insights could guide clinicians in recommending cognitive interventions for older adults, optimizing efficacy by aligning individual characteristics with program requirements

Le stress en psychologie du sport: modélisation et mesures

Également disponible en version papierTitre de l'écran-titre (visionné le 8 janv. 2010)Bibliogr.: p. 167-17

L'agressivité et la combativité en psychologie du sport: modélisation et mesures

Également disponible en version papierTitre de l'écran-titre (visionné le 8 janv. 2010)Bibliogr.: p. 113-11