Hardware Implementation of the GPS authentication

In this paper, we explore new area/throughput trade- offs for the Girault, Poupard and Stern authentication protocol (GPS). This authentication protocol was selected in the NESSIE competition and is even part of the standard ISO/IEC 9798. The originality of our work comes from the fact that we exploit a fixed key to increase the throughput. It leads us to implement GPS using the Chapman constant multiplier. This parallel implementation is 40 times faster but 10 times bigger than the reference serial one. We propose to serialize this multiplier to reduce its area at the cost of lower throughput. Our hybrid Chapman's multiplier is 8 times faster but only twice bigger than the reference. Results presented here allow designers to adapt the performance of GPS authentication to their hardware resources. The complete GPS prover side is also integrated in the network stack of the PowWow sensor which contains an Actel IGLOO AGL250 FPGA as a proof of concept.Comment: ReConFig - International Conference on ReConFigurable Computing and FPGAs (2012

Paul à Québec, le génie des lieux comme patrimoine identitaire

Depuis bientôt quinze ans, le dessinateur québécois Michel Rabagliati fait de sa propre vie le terreau des aventures de Paul, son alter-ego. Paul est un « héros ordinaire ». Sa vie est celle de tout-un-chacun, avec ses joies, ses peines. En 2009, l " auteur remportait le prix du Jury du Festival d " Angoulême avec son album Paul à Québec. Graphic novel de 187 pages, la bande dessinée est centrée sur le beau-père de Paul, Roland Beaulieu. Ce dernier, atteint d " un cancer généralisé, vit une véritable descente aux enfers. Rien n " est épargné aux lecteurs depuis les premiers symptômes jusqu " à la phase terminale. C " est l " occasion pour Rabagliati de rendre hommage à son propre beau-père qu " il avait en admiration. Roland est un Québécois « pure souche », né près des remparts de la « Vieille capitale », un self-made man exemplaire. C " est cet album que nous avons choisi de privilégier, afin d " analyser comment Rabagliati parle, à sa façon, de l " identité québécoise. En 2009, Michel Labrie, dans Le Mouton Noir, journal en ligne québécois, voyait en Paul le témoin d " une « identité québécoise » qu " il définissait de la manière suivante : Paul témoigne de l " identité québécoise. Il la décline par une juste et fine mise en scène des valeurs qui sont les exigences mêmes de notre dignité : l " amour et l " amitié, la famille et le travail..

COMPILATION D'APPLICATIONS FLOT DE DONNÉES PARAMÉTRIQUES POUR MPSOC DÉDIÉS À LA RADIO LOGICIELLE

The emergence of software-defined radio follows the rapidly evolving telecommunicationdomain. The requirements in both performance and dynamicity has engendered softwaredefined-radio-dedicated MPSoCs. Specialization of these MPSoCs make them difficult toprogram and verify. Dataflow models of computation have been suggested as a way to mitigatethis complexity. Moreover, the need for flexible yet verifiable models has led to thedevelopment of new parametric dataflow models.In this thesis, I study the compilation of parametric dataflow applications targetingsoftware-defined-radio platforms. After a hardware and software state of the art in this field, Ipropose a new refinement of dataflow scheduling, and outline its application to buffer size’sverification. Then, I introduce a new high-level format to define dataflow actors and graph,with the associated compilation flow. I apply these concepts to optimised code generation fortheMagali software-defined-radio platform. Compilation of parts of the LTE protocol are usedto evaluate the performances of the proposed compilation flow.Le développement de la radio logicielle fait suite à l’évolution rapide du domaine destélécommunications. Les besoins en performance et en dynamicité ont donné naissance à desMPSoC dédiés à la radio logicielle. La spécialisation de cesMPSoC rend cependant leur programmationet leur vérification complexes. Des travaux proposent d’atténuer cette complexitépar l’utilisation de paradigmes tels que lemodèle de calcul flot de données. Parallèlement, lebesoin demodèles flexibles et vérifiables a mené au développement de nouveaux modèlesflot de données paramétriques.Dans cette thèse, j’étudie la compilation d’applications utilisant un modèle de calcul flotde données paramétrique et ciblant des plateformes de radio logicielle. Après un état de l’artdu matériel et logiciel du domaine, je propose un raffinement de l’ordonnancement flot dedonnées, et présente son application à la vérification des taillesmémoires. Ensuite, j’introduisun nouveau format de haut niveau pour définir le graphe et les acteurs flot de données, ainsique le flot de compilation associé. J’applique ces concepts à la génération de code optimisépour la plateforme de radio logicielle Magali. La compilation de parties du protocole LTEpermet d’évaluer les performances du flot de compilation proposé

Contrôle d'application flot de données pour les systèmes sur puces : étude de cas sur la plateforme Magali

International audienceLes applications embarquées demandent toujours plus de puissance de calcul pour moins de consommation, avec comme conséquence l'apparition de systèmes sur puces dédiés. Dans le domaine du traitement du signal, le modèle de calcul flot de données est couramment utilisé pour la programmation de ces systèmes sur puce. Il est donc nécessaire d'avoir un modèle d'exécution adapté à ces architectures et répondant aux contraintes applicatives. Dans ce tra- vail, nous proposons un nouveau modèle d'exécution pour le contrôle d'applications flot de données. Notre approche s'appuie sur les liens entre les caractéristiques des applications et les performances selon le modèle d'exécution associé. Ce travail est illustré avec une étude de cas sur la plateforme Magali

Compilation for heterogeneous SoCs : bridging the gap between software and target-specific mechanisms

International audienceCurrent applications constraints are pushing for higher computation power while reducing energy consumption, driving the development of increasingly specialized socs. In the mean time, these socs are still programmed in assembly language to make use of their specific hardware mechanisms. The constraints on hardware development bringing specialization, hence heterogeneity, it is essential to support these new mechanisms using high-level programming. In this work, we use a parametric data flow formalism to abstract the application from any hardware platform. From this premise, we propose to contribute to the compilation of target independent programs on heterogeneous platforms. These developments are threefold, with 1) the support of hardware accelerators for computation using actor fusion, 2) the automatic generation of communications on complex memory layouts and 3) the synchronization of distributed cores using hardware mechanisms for scheduling. The code generation is illustrated on a telecommunication dedicated heterogeneous soc

Cognitive Radio Programming: Existing Solutions and Open Issues

Software defined radio (sdr) technology has evolved rapidly and is now reaching market maturity, providing solutions for cognitive radio applications. Still, a lot of issues have yet to be studied. In this paper, we highlight the constraints imposed by recent radio protocols and we present current architectures and solutions for programming sdr. We also list the challenges to overcome in order to reach mastery of future cognitive radios systems.La radio logicielle a évolué rapidement pour atteindre la maturité nécessaire pour être mise sur le marché, offrant de nouvelles solutions pour les applications de radio cognitive. Cependant, beaucoup de problèmes restent à étudier. Dans ce papier, nous présentons les contraintes imposées par les nouveaux protocoles radios, les architectures matérielles existantes ainsi que les solutions pour les programmer. De plus, nous listons les difficultés à surmonter pour maitriser les futurs systèmes de radio cognitive

A Compilation Flow for Parametric Dataflow: Programming Model, Scheduling, and Application to Heterogeneous MPSoC

International audienceEfficient programming of signal processing applications on embedded systems is a complex problem. High level models such as Synchronous dataflow (SDF) have been privileged candidates for dealing with this complexity. These models permit to express inherent application parallelism, as well as analysis for both verification and optimization. Parametric dataflow models aim at providing sufficient dynamicity to model new applications, while at the same time maintaining the high level of analyzability needed for efficient real life implementations. This paper presents a new compilation flow that targets parametric dataflows. Built on the LLVM compiler infrastructure, it offers an actor based C++ programming model to describe parametric graphs, a compilation front-end providing graph analysis features, and a retargetable back-end to map the application on real hardware. This paper gives an overview of this flow, with a specific focus on scheduling. The crucial gap between dataflow models and real hardware on which actor firing is not atomic, as well as the consequences on FIFOs sizing and execution pipelining are taken into account.The experimental results illustrate our compilation flow applied to compilation of 3GPP LTE-Advanced demodulation on a heterogeneous MPSoC with distributed scheduling features. This achieves performances similar to time-consuming hand made optimizations

River temperature analysis with a new way of using Independant Component Analysis

In the context of global warming, river management is essential to maintain favourable water temperature ranges for aquatic species. Therefore, understanding the main factors influencing the water temperature becomes a key part in the management process. In this paper, we used Independent Component Analysis (ICA) to identify these main factors and improve water temperature forecasting. The study is caried out on two rivers in Normandy (France) with quite different characteristics. Each river was equipped with several temperature sensors which series range from 2011 to 2021. The ICA analysis of the data series reveals that the thermal regime of these two rivers is mainly controlled by seasonal and daily climatic factors. The Sélune regime also turns out to be influenced by the presence of a dam, dismantled during the monitoring of the river. The temperature of the Odon appears to be clearly controlled by seasonal lightening conditions in connection with the presence of the riparian vegetation. Complementary, an innovative approach called “successive ICA” is used to reconstruct the natural thermal regime of the Sélune without the presence of the dam. Emphasis is therefore placed here on the interest of ICA in hydrology as en elementary method for extracting the main influencing factors and quantifying their importance on the thermal regime of a river. It also allows to remove the influence of a particular factor and reconstruct time series better suited for temperature forecasting. The method used here is not specific to temperature time series and can be applied to any region even with different hydrological characteristics

Males and Females Contribute Unequally to Offspring Genetic Diversity in the Polygynandrous Mating System of Wild Boar

The maintenance of genetic diversity across generations depends on both the number of reproducing males and females. Variance in reproductive success, multiple paternity and litter size can all affect the relative contributions of male and female parents to genetic variation of progeny. The mating system of the wild boar (Sus scrofa) has been described as polygynous, although evidence of multiple paternity in litters has been found. Using 14 microsatellite markers, we evaluated the contribution of males and females to genetic variation in the next generation in independent wild boar populations from the Iberian Peninsula and Hungary. Genetic contributions of males and females were obtained by distinguishing the paternal and maternal genetic component inherited by the progeny. We found that the paternally inherited genetic component of progeny was more diverse than the maternally inherited component. Simulations showed that this finding might be due to a sampling bias. However, after controlling for the bias by fitting both the genetic diversity in the adult population and the number of reproductive individuals in the models, paternally inherited genotypes remained more diverse than those inherited maternally. Our results suggest new insights into how promiscuous mating systems can help maintain genetic variation