Code generation for multi-phase tasks on a multi-core distributed memory platform

International audienceEnsuring temporal predictability of real-time systems on a multi-core platform is difficult, mainly due to hard to predict delays related to shared access to the main memory. Task models where computation phases and communication phases are separated (such as the PRedictable Execution Model), have been proposed to both mitigate these delays and make them easier to analyze. In this paper we present a compilation process, part of the Prelude compiler, that automatically translates a high-level synchronous data-flow system specification into a PREM-compliant C program. By automating the production of the PREM-compliant C code, low-level implementation concerns related to task communications become the responsibility of the compiler, which saves tedious and error-prone development efforts

A Thermal Plume Model for the Martian Convective Boundary Layer

The Martian Planetary Boundary Layer [PBL] is a crucial component of the Martian climate system. Global Climate Models [GCMs] and Mesoscale Models [MMs] lack the resolution to predict PBL mixing which is therefore parameterized. Here we propose to adapt the "thermal plume" model, recently developed for Earth climate modeling, to Martian GCMs, MMs, and single-column models. The aim of this physically-based parameterization is to represent the effect of organized turbulent structures (updrafts and downdrafts) on the daytime PBL transport, as it is resolved in Large-Eddy Simulations [LESs]. We find that the terrestrial thermal plume model needs to be modified to satisfyingly account for deep turbulent plumes found in the Martian convective PBL. Our Martian thermal plume model qualitatively and quantitatively reproduces the thermal structure of the daytime PBL on Mars: superadiabatic near-surface layer, mixing layer, and overshoot region at PBL top. This model is coupled to surface layer parameterizations taking into account stability and turbulent gustiness to calculate surface-atmosphere fluxes. Those new parameterizations for the surface and mixed layers are validated against near-surface lander measurements. Using a thermal plume model moreover enables a first order estimation of key turbulent quantities (e.g. PBL height, convective plume velocity) in Martian GCMs and MMs without having to run costly LESs.Comment: 53 pages, 21 figures, paper + appendix. Accepted for publication in Journal of Geophysical Research - Planet

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enables to assemble in a modular and hierarchical manner several locally mono-periodic synchronous systems into a globally multi-periodic synchronous system. It also allows to specify flow latency constraints. A program is translated into a set of real-time tasks. The generated code (\C\ code) can be executed on a simple real-time platform with a dynamic-priority scheduler (EDF). The compilation process (each algorithm of the process, not the compiler itself) is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption).Comment: 15 pages, published in Workshop on Formal Methods for Aerospace (FMA'09), part of Formal Methods Week 2009

Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset

International audienceIn this paper we present an end-to-end framework for the design and the implementation of embedded systems on a symmetric multicore. The developer first specifies the system using the \prelude language, a formal real-time architecture description language. The Prelude compiler then translates the program into a set of communicating periodic tasks that preserves the semantics of the original program. The schedulability analysis is performed by the SchedMCore analyzer. If the program is schedulable, it can finally be executed on the target multicore architecture using the \schedmcore execution environment

Multi-task implementation of multi-periodic synchronous programs

International audienceThis article presents a complete scheme for the integration and the development of multi-periodic critical embedded systems. A system is formally specified as a modular and hierarchical assembly of several locally mono-periodic synchronous functions into a globally multi-periodic synchronous system. To support this, we introduce a real-time software architecture description language, named \prelude, which is built upon the synchronous languages and which provides a high level of abstraction for describing the functional and the real-time architecture of a multi-periodic control system. A program is translated into a set of real-time tasks that can be executed on a monoprocessor real-time platform with an on-line priority-based scheduler such as Deadline-Monotonic or Earliest-Deadline-First. The compilation is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption)

Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique

National audienceNous avons proposé dans précédemment un cadre formel pour l'analyse de propriétés de latence dans un programme synchrone multi- périodique. Ce cadre ne permettait que le calcul d'une sur-approximation de la latence. Le présent article reprend ce cadre pour proposer un calcul exact, et l'étend à deux autres propriétés : la fraîcheur et la réactivité

Elacestrant (oral selective estrogen receptor degrader) Versus Standard Endocrine Therapy for Estrogen Receptor–Positive, Human Epidermal Growth Factor Receptor 2–Negative Advanced Breast Cancer: Results From the Randomized Phase III EMERALD Trial

Elacestrant; Càncer de mamaElacestrant; Cáncer de mamaElacestrant; Breast cancerPURPOSE Patients with pretreated estrogen receptor (ER)–positive/human epidermal growth factor receptor 2 (HER2)–negative advanced breast cancer have poor prognosis. Elacestrant is a novel, oral selective ER degrader that demonstrated activity in early studies. METHODS This randomized, open-label, phase III trial enrolled patients with ER-positive/HER2-negative advanced breast cancer who had one-two lines of endocrine therapy, required pretreatment with a cyclin-dependent kinase 4/6 inhibitor, and ≤ 1 chemotherapy. Patients were randomly assigned to elacestrant 400 mg orally once daily or standard-of-care (SOC) endocrine monotherapy. Primary end points were progression-free survival (PFS) by blinded independent central review in all patients and patients with detectable ESR1 mutations. RESULTS Patients were randomly assigned to elacestrant (n = 239) or SOC (n = 238). ESR1 mutation was detected in 47.8% of patients, and 43.4% received two prior endocrine therapies. PFS was prolonged in all patients (hazard ratio = 0.70; 95% CI, 0.55 to 0.88; P = .002) and patients with ESR1 mutation (hazard ratio = 0.55; 95% CI, 0.39 to 0.77; P = .0005). Treatment-related grade 3/4 adverse events occurred in 7.2% receiving elacestrant and 3.1% receiving SOC. Treatment-related adverse events leading to treatment discontinuations were 3.4% in the elacestrant arm versus 0.9% in SOC. Nausea of any grade occurred in 35.0% receiving elacestrant and 18.8% receiving SOC (grade 3/4, 2.5% and 0.9%, respectively). CONCLUSION Elacestrant is the first oral selective ER degrader demonstrating a significant PFS improvement versus SOC both in the overall population and in patients with ESR1 mutations with manageable safety in a phase III trial for patients with ER-positive/HER2-negative advanced breast cancer

Net exchange reformulation of radiative transfer in the CO2 15um band on Mars

International audienceThe Net Exchange Formulation (NEF) is an alternative to the usual radiative transfer formulation. It was proposed by two authors in 1967, but until now, this formulation has been used only in a very few cases for atmospheric studies. The aim of this paper is to present the NEF and its main advantages, and to illustrate them in the case of planet Mars. In the NEF, the radiative fluxes are no more considered. The basic variables are the net exchange rates between each pair of atmospheric layers i,j. NEF offers a meaningful matrix representation of radiative exchanges, allows to quantify the dominant contributions to the local heating rates and provides a general framework to develop approximations satisfying reciprocity of radiative transfer as well as first and second principle of thermodynamic. This may be very useful to develop fast radiative codes for GCMs. We present a radiative code developed along those lines for a GCM of Mars. We show that computing the most important optical exchange factors at each time step and the others exchange factors only a few times a day strongly reduces the CPU time without any significant precision lost. With this solution, the CPU time increases proportionally to the number N of the vertical layers and no more proportionally to its square N^2. We also investigate some specific points such as numerical instabilities that may appear in the high atmosphere and errors that may be introduced if inappropriate treatments are performed when reflection at the surface occurs

Energy-scalable temporal cleaning device for femtosecond laser pulsesbased on cross-polarized wave generation

International audienceWe report on a compact energy-scalable device for generating high-fidelity femtosecond laser pulses based on spatial filtering through a hollow-core fiber followed by a nonlinear crystal for crosspolarized wave (XPW) generation. This versatile device is suited for temporal pulse cleaning over a wide range of input energies (from 0.1 to >10 mJ) and is successfully qualified on different ultrafast laser systems. Full characterization of the XPW output is presented. In particular, we demonstrate the generation of 1.6 mJ energy pulses starting from 11 mJ input pulse energy. The temporal contrast of the pulses is enhanced by more than 4 orders of magnitude. In addition, pulse shortening from 40 fs down to 15 fs Fourier-transform limit yields an overall peak-power transmission of up to 50%. This device not only serves as an integrated pulse contrast filter inside an ultrafast laser amplifier but also as a simple back-end solution for temporal post-compression of amplified pulses