Laboratory of Electronics, Antennas and Telecommunications (UMR 7248)

Transcription

1 INSIS Laboratory of Electronics, Antennas and Telecommunications (UMR 7248) LEAT - Université Nice-Sophia Antipolis, UMR CNRS 7248 Campus Sophi@Tech - Bâtiment Forum 930 route des Colles, BP 145, Sophia Antipolis cedex tél.+33.(0) , fax.+33.(0) leat.unice.fr

2 INSIS Campus Sophia Antipolis MCSOC Team : Research activities System Level Modeling and Design of Communicating Objects Contact: Cécile Belleudy cecile.belleudy@unice.fr LEAT - Université Nice-Sophia Antipolis, UMR CNRS 7248 Campus Sophi@Tech - Bâtiment Forum 930 route des Colles, BP 145, Sophia Antipolis cedex tél.+33.(0) , fax.+33.(0) leat.unice.fr

3 Présentation générale MCSoC Permanent Staff (10) M. Auguin C. Belleudy S. Bilavarn D. Gaffé A. Giulieri L. Kwiatowski F. Muller A. Pegatoquet Nonpermanent Staff (16) W. Tatinian F.Verdier H. Affes N. Trong U. Cerasani O. Mbarek M. Abdelmouna N. Serna. E. Kofman C. Chaabane K. Baathi H. Nguyen W. SOE C. Barnes C. Kone H. Ben Rekissa J. Wanza R. Bonamy J. Salles Janvier

4 Research topics Axis 1 : Power/Energy Modeling and management for communicating objects Axis 2 : Reconfigurable and auto-adaptive systems Axis 3 : SoC validation by synchronous approach Wireless sensor network Autonomous System Heterogeneous System Multiprocessors, reconfigurable unit. Video application (H264), software radio,... Reconfigurable architecture Auto-adaptive Data and code distribution Axis 4 : Modeling and design of RF front-end 4

5 Axis 1 : Energy Optimization for communicating objects Objective Modeling and design low power systems Context Mono and multi core architecture, reconfigurable unit, Wireless Sensor Networks (WSN), energy harvesting Problematic Low power scheduling System level Modeling and Design Approach for low power design Power management in Energy Harvesting Wireless Sensor Networks Health Application 5

6 Objective TLM Power architecture modeling (SystemC) Simulate functional architecture and power consumption of a SoC at high-level (SystemC-TLM) Checking functional and power properties HELP and HOPE projects Results TLM Library : components for power modeling (power switches, level shifters, power controllers ) Power-aware architecture design and management Simulation tool Functional verification (simulation) Embedded Software, PMU and power management strategies Validation on application provided by INTEL : Video capture 6

7 Autonomous Wireless Sensor Network GRECO project Definition of new protocols (PHY, MAC, NWK) Mobility management Heterogeneous modeling of autonomous sensor node (RF, MCU, MAC/PHY layers, battery, energy harvester, power manager ) Simulation (Omnet++) Definition and implementation of new power management policies Energy Neutral Operation Janvier

8 Health Application Fall detection (University of Danang) Problematic Detect fall of elderly people Low power, low cost design of fall detector Constraint : Local image processing, alert signal by mobile phone Novel approach for designing this detection system Heterogeneous platform modeling : dual-core + FPGA Architecture exploration : best tradeoff between performance and energy Performance evaluation : recognition rate + urgency degree Janvier

9 Emotion detection (I3S, CHU Nice) Problematic Are you happy, angry or depressive? Modeling of physiological signals Methodology for design hybrid systems for collecting and interpreting biomedical signals (emotion detection) Health Application Definition of design methodology taking into account medical and users constraints, requirements Ongoing: demonstrator, generic method + validation in hospital Janvier

10 Objectives : Modeling, designing dynamic reconfigurable systems (FPGA) Context : Auto-adaptive real-time systems, High Performance Reconfigurable Computing (HPRC) Problematic : Speedup dynamic reconfiguration Validation of reconfigurable architectures Design space exploration tool Axis 2 : Reconfigurable, auto-adaptive systems Methodology for application mapping (digital signal processing) on heterogeneous architectures Reference A B C D E Name Reed- Solomon AES IIR FFT Basic DES 10

11 Axis 2 : Reconfigurable, auto-adaptive systems FOSFOR, ARDHMAN and BENEFIC projects Development of IP FaRM (Fast Reconfiguration Manager) to speed up the reconfiguration management RecoSim simulator : definition of hardware/software region Hardware and software real time verification Design space exploration methodology for reconfigurable architecture : FoRTReSS tool (Flow for Reconfigurable architectures in Real-time SystemS) Methodology for deploying digital signal processing applications on heterogeneous architecture 11

12 Axis 3 : Soc Validation using Synchronous Approach Objective Behavioral formal verification of SoC IP blocks Context Smart card : contactless, secured, multifunction, low energy budget Problematic Specification and validation with modular synchronous languages Modeling and control architecture Automatic exploration of state space governing all possible behaviors Verification a priori and a posteriori of global behavior recherche/clem_tools.html 12

13 Objectives Modeling and design of analog/rf system for wireless application Context Wireless transmission, biomedical Problematic Electrical modeling of RF blocks, architecture exploration Modeling of heterogeneous systems Analog/digital systems (GRECO project) Electronic and electromagnetic systems Electrical/physical Systems : cochlear implant Analog and RF Design Codesign of circuits and antenna Axis 4 : Modeling and design of RF front-end 14

14 Industrial and Academic Collaborations 15

15