From Lustre to Simulink

Model-based design is now unavoidable when building embedded systems and, more specifically, controllers. Among the available model languages, the synchronous dataflow paradigm, as implemented in languages such as MATLAB Simulink or ANSYS SCADE, has become predominant in critical embedded system industries. Both of these frameworks are used to design the controller itself but also provide code generation means, enabling faster deployment to target and easier V&V activities performed earlier in the design process, at the model level. Synchronous models also ease the definition of formal specification through the use of synchronous observers, attaching requirements to the model in the very same language, mastered by engineers and tooled with simulation means or code generation. However, few works address the automatic synthesis of MATLAB Simulink annotations from lower-level models or code. This article presents a compilation process from Lustre models to genuine MATLAB Simulink, without the need to rely on external C functions or MATLAB functions. This translation is based on the modular compilation of Lustre to imperative code and preserves the hierarchy of the input Lustre model within the generated Simulink one. We implemented the approach and used it to validate a compilation toolchain, mapping Simulink to Lustre and then C, thanks to equivalence testing and checking. This backward compilation from Lustre to Simulink also provides the ability to produce automatically Simulink components modeling specification, proof arguments, or test cases coverage criteria.

Scheduling of energy storage

The increasing reliance on renewable energy generation means that storage may well play a much greater role in the balancing of future electricity systems. We show how heterogeneous stores, differing in capacity and rate constraints, may be optimally, or nearly optimally, scheduled to assist in such balancing, with the aim of minimizing the total imbalance (unserved energy) over any given period of time. It further turns out that in many cases the optimal policies are such that the optimal decision at each point in time is independent of the future evolution of the supply–demand balance in the system, so that these policies remain optimal in a stochastic environment. This article is part of the theme issue ‘The mathematics of energy systems’.

Ageing Effects, Generation Means, and Path Coefficient Analyses on High Kernel Elongation in Mahsuri Mutan and Basmati 370 Rice Populations

High kernel elongation (HKE) is one of the high-quality characteristics in rice. The objectives of this study were to determine the effects of ageing treatments, gene actions, and inheritance pattern of kernel elongation on cooking quality in two populations of rice and determine the path of influence and contribution of other traits to kernel elongation in rice. Two rice populations derived from crosses between MR219 × Mahsuri Mutan and MR219 × Basmati 370 were used. The breeding materials included two F1 progenies from the two populations, and their respective parents were grown in four different batches at a week interval to synchronize the flowering between the female and male plants. Scaling tests and generation means analysis were carried out to determine ageing effects and estimate additive-dominance gene action and epistasis. The estimation of gene interaction was based on quantitative traits. Path coefficient analysis was done using SAS software version 9.4 to determine the path of influence (direct or indirect) of six quantitative traits on HKE. Results obtained showed that nonallelic gene interaction was observed in all traits. The results before ageing and after ageing showed significant differences in all traits, while the gene interaction changed after ageing. The HKE value improved after ageing, suggesting that ageing is an external factor that could influence gene expression. The epistasis effect for HKE obtained from the cross Mahsuri Mutan × MR219 showed duplicate epistasis while that obtained from a cross between Basmati 370 × MR219 showed complimentary epistasis. Besides, the heritability of HKE was higher in Basmati 370 × MR219 compared to that obtained in Mahsuri Mutan × MR219. The path analysis showed that the cooked grain length and length-width ratio positively significantly affected HKE. It was concluded that ageing treatment is an external factor that could improve the expression of HKE. The findings from this study would be useful to breeders in the selection and development of new specialty (HKE) rice varieties.

Generation means analysis of traits related to lodging using two crosses of durum×emmer wheat

Lodging is one of the most important factors that affect wheat final yield. Emmer is a likely gene source to improve durum wheat; however, it is highly susceptible to lodging. The genetic studies of traits related to lodging in crosses of durum×emmer remains largely understudied. Here, we used progenies (six generations) derived from two crosses of durum×emmer in a generation means analysis (GMA) to determine gene action, inheritance, and genetic gain from selection in respect to plant height and its related traits. The results indicated that lodging resistance was significantly and negatively correlated with plant height and positively correlated with grain yield and mainly influenced by stem diameter. GMA results indicated that epistasis did not play an essential role in the genetic control of lodging related traits and almost the major portion of the genetic variation in these crosses resulted from additive gene actions. Also for all of the studied traits, the additive variance was higher than the dominance one. Narrow sense heritability was higher than 0.60 for most of the traits, and the genetic gain after one cycle of selection was positive for plant height and its components in both crosses. It was found that, selection in early generations may result in simultaneous reduction of plant height and increased stem diameter to improve lodging resistance in durum×emmer crossings.