Monday 5th September 2016

9h-10h15 - Registration

10h15 - 10h30 - Welcome Address

Prof. Bertrand Raquet, Director of INSA Toulouse

Dr. Liviu Nicu, Director of LAAS-CNRS

10h30 - 12h - Openning Keynote: Ambient air quality sensors for CPS. From university research to spin-off: a succesfull journey - Prof. Florin Udrea

Abstract: Ambient air quality sensors are among the most desirable sensors in the context of smart devices such as phones, watches, accessories and wearable, and could form an important class of devices for well-being and E-health applications. The talk will give an introduction to smart sensor technologies with particular emphasis on gas sensors and Infra-red devices, and will continue with the technology that allowed the spin-off from University of Cambridge of Cambridge CMOS Sensors (CCS). The transfer of the technology from University premises to the start-up and the road from research to commercialization will be covered in the talk.  Recently CCS has been acquired by Austria Microsystems and is now regarded as a very successful story within Cambridge University.

12h -14h - Lunch

Session 1: Smart Sensors for CPS. Chair: Dr. Giorgia Longobardi

14h - 14h45 - Towards Smart Glasses - Prof. Patrick Danes & Dr. Henri Camon

Joint reserach laboratory OPERA : ESSILOR - LAAS-CNRS

Abstract: For the last few years, an increasing number of smart glasses or eye-worn communicating objects has paved the way for new digital uses.  These lightweight wearable devices are endowed with sensors, embedded CPUs and communication, up to augmented reality.  Their targeted applications are mostly entertainment and video games.  This talk outlines a joint project towards smart glasses addressing ophthalmia and new services dedicated to visual health.

14h45 - 15h30 - Nanoparticle based smart devices: coupling electron transport and plasmonic properties - Prof. Jérémie Grisolia, Dr. Benoit Viallet, Prof. L. Ressier

Abstract: Nanoparticle (NP) assemblies with specific, collective plasmonic, electronic, and magnetic properties are candidate for the fabrication of low-cost, high-performance, energy-efficient functional devices. A facile means of tuning these properties is to construct the assemblies through bottom-up approaches by using chemically synthesized colloidal NPs that are accessible in various sizes, shapes, compositions and surface coatings. Our group developed matrix of strain gauges based nanoparticle onto flexible screens to provide multitouch strain-sensing capability and, in particular, sensitivity to the force intensity applied. Interestingly, the NPs assembly can be modeled as a collection parallel R-C electrical circuits that can be part of wireless solution and be deployed at large scale in order to monitor extensive systems found in aeronautics, space and embedded systems.

15h30 - 16h - Cofee Break

16h - 16h45 A smart programmable hyperspectral camera - Dr. Antoine Monmayrant & Dr. Simon Lacroix

Abstract:An adaptive, hyperspectral imager will be presented. A system with easily adaptable spectral resolution, adjustable acquisition time, and high spatial resolution which is independent of spectral resolution will be described. The system yields the possibility to define a variety of acquisition schemes, and in particular near snapshot acquisitions that may be used to measure the spectral content of given or automatically detected regions of interest. The proposed system is modelled and simulated, and tests on a first prototype validate the approach to achieve near snapshot spectral acquisitions without resorting to any computationally heavy post-processing, nor cumbersome calibration.

17h - Welcome Reception

Tuesday 6th September 2016

Session 2: Energy issues for CPS. Chair: Prof. Corinne Alonso

9h-9h45 - Advances in RF Energy Harvesting - Dr. Alexandru Takacs

Abstract: This talk will cover the fundamentals and the new advances in the RF energy harvesting for powering low power devices and circuits (e.g. sensors & wireless power sensors, cyber-physical systems, etc.) for structural health monitoring and IoT applications. New emerging applications such as the harvesting of the spill-over losses of microwave antennas of the broadcasting satellites will be also addressed.

9h45 -10h30 - Power management for CPS and future GaN-technology impact - Dr. Giorgia Longobardi

Abstract: The spreading of wireless-communication-based technologies and the decentralized system of interconnected Smart objects (SOs) based on these technologies has led to a new way of living and interacting with the world that surrounds us. We are in fact approaching an era where the Internet of Things (IoT) is going to become an indistinguishable part of our daily life both at home and our working place. The large extent of complexity of IoT leads to many technological challenges. Among these, achieving high power density from the harvester and ensuring efficient transfer of the energy from the source to the load is a crucial aspect of the energy harvesting field. The aim of this talk is therefore to introduce to the power electronics requirements for an efficient energy management for CPS. The talk will then focus on photo-voltaic(PV) energy harvesting and the benefits of the emerging Gallium Nitride (GaN) technology in its power management circuitry.

10h30 - 11h Coffee Break

11h - 11h45 Energy-aware distributed systems - Prof. Jean-Marc Pierson

Abstract: In this talk we will survey the solutions for energy management of systems, starting from operating systems to distributed systems (including Datacenters, Cloud, HPC). An encompassing global autonomic approach will be presented where each important aspect of power and energy savings possibilities will be detailed and illustrated through concrete examples and projects

12h-14h - Lunch

Session 3: Security for CPS. Chair: Prof. Vincent Nicomette

14h-14h45 - A Short Overview of Security for IoT - Dr. Eric Alata

Abstract: IoT deals with small devices connected to the internet and largely deployed. These devices are generally characterized by a COST-based design and a large openess which leads to new kind of weaknesses. However, classical security methods and tools, despite there effectiveness in IT domain, are not necessarly well suited for the IoT domain. This talk provides a short overview of vulnerabilities and attacks against IoT systems and a presentation of technical sudies carried out at LAAS-CNRS.

14h45 - 15h30 Formal Proof of Security: Application to a Microkernel - Dr. David Nowak

Abstract: One of the most fundamental security property of a cyber-physical system is memory isolation between its hosted applications. We will illustrate in the case of a microkernel how a proof assistant can be used to formally prove that a security property such as memory isolation hold.

15h30 - 16h  Cofee Break

Sesion 4: CPS in Action Chair:Dr. Marise Bafleur

16h -18h - The attendees have the opportunity to present their research work during the “CPS in Action” session in a 5 min pitch live demo or a video. A short description of the demo has to be submitted through the CPS in Action menu on the left side. Theses descriptions will be posted on the summer school WEB site. Awards for the posters will be given at the end of the summer school.

Wednesday 7 September 2016

Sesion 5: Communication for CPS

9h - 9h45 Frequency synthesis challenges in high frequency communication systems - Dr. Eric Tournier

Abstract: requency synthesis is one of the most important functions of telecommunications systems as it allows to reach the carrier of any communication standard (WiFi, Bluetooth, ZigBee, WiMax, ...). Until now, the frequency references were mostly designed for predetermined tasks with well-known frequency plans. However, the growth in the telecom market and the diversification of services have led the operators to ask for more versatile solutions, for example to be able to face new markets throughout a satellite lifetime which today exceeds 15 years. Interest in more flexible approaches has been growing for several years because they allow an easy reallocation of resources (frequency, power, rate, modulation ...) in response to traffic and/or business plan changes, yet at the cost of designing frequency references able to deliver tunable frequency together with restrictive phase noise characteristics as well as long-term stability. The vast majority of reference signals are being synthesized from highly stable and very low phase noise quartz oscillators from a few MHz to a few hundred MHz. It is then necessary to multiply the frequency of these oscillators to provide useful signals to the transceiver, whose frequency ranges from a few GHz to several tens of GHz, depending on the application. But this synthesis technique faces several limitations. On the one hand, the frequency multiplication is a source of phase noise degradation, on the other hand, crystal oscillator technology seems to reach its performance limits. An alternative is to use very high frequency reference oscillators, beyond a few GHz or tens of GHz, and to divide the frequency, which improves the phase noise instead of degrading it with a multiplication. The division should be programmable to keep the tuning capabilities and frequency agility of the classical synthesis, and should keep low its own residual phase noise. The use of optical active or passive resonators with specific laser sources is for example a promising way to generate such a high-frequency reference. This presentation will detail all these aspects of frequency synthesis with some analog, digital and mixed design techniques and their results.

9h45 - 10h30 Energy efficiency challenges in high frequency communication systems - Dr. Christophe Loyez

Abstract:Wireless ad hoc networks provide distributed information collection and transmission which are useful for many industrial, environmental applications. Conventional systems such as Zigbee operate in the ISM (Industrial, Scientific and Medical) frequency bands which limit the functionalities in terms of communication and geo-localisation. Ultra Wide Band technologies are one of the promising solutions to address the applications related to wireless ad hoc networks but the antenna sizes and the frequency re-use are still major limitations up to now. On the other hand, the millimeter-wave (MMW) frequency band around 60 GHz is more and more attractive to address broadband applications because of its wide spectral resources between 57 GHz and 65 GHz. In this presentation will be described the key parameters which impact the budget analysis at high frequency including circuits and antennas considerations. Energy aware architectures of RF transceivers operating at 60 and 140 GHz will be detailed. Experimental results obtained both in terms of signal quality and energy efficiency will be presented as well as the geo-localisation ability of such systems which enable to reduce the energy cost of routing protocols involved in multi-hop wireless ad hoc networks.

10h30 - 10h45 Coffee Break

10h45 - 11h30 Open Source platform for M2M communication - Dr. T. Monteil

Abstract: Machine-to-Machine (M2M) concept is one of the main features of Internet of Things (IoT). It promises to inter-connect billions of devices in near future covering various domains from building, energy, healthcare, industrial, transportation, retail, security to environmental services. However, the M2M market expansion opportunities are not straight forward. In fact, M2M is suffering from a high vertical domain fragmentation, which has increased the R&D cost in each specific domain. Various vertical M2M solutions have been designed independently and separately for different applications, which inevitably impacts or even impedes large-scale M2M deployment. To bridge this gap, Several Standards Organization released the OneM2M standard for a common M2M service platform an end to end M2M service platform with the intermediate service layer that is key components of the horizontal M2M solution. These standards based platform follows a RESTful approach with open interfaces to enable developing services and applications independently of the underlying network, thus easing the deployment of vertical applications and facilitating innovation across industries. The Eclipse OM2M project is an open source implementation of the OneM2M standard. Several capabilities of OM2M will be explained.

11h30 - 13h Lunch

Session 6:  Dedicated workshop for Software Defined Network and Network Function Virtualization

13h - 14h  The long and winding road: From SDN and NFV to a SDN-Enabled NFV - Prof. Eduardo Jacob

Abstract: The talk will present our experiences in the SDN/NFV field: From the initial approach to SDN as way to solve our lab's networking problems, passing through the initial NFV'ization of the services to it's later evolution. Some conclusions of this journey and some open issues will finally be presented.

14h - 14h30 Network Softwarization and Virtualization: State of the Art and Research challenges  - Dr. Samir Medjiah

Abstract: Network Softwarization is an overall transformation trend for designing, implementing, deploying, managing network equipment and network components.  Based on software programming, network softwarization exploits characteristics of software such as: flexibility, rapidity of design, development and deployment throughout the network life-cycle. Moreover, Network Virtualization opens the door between cloud and carrier networks by providing software-based network services which can run in virtualized environment on general purpose hardware. This talk outlines current state of the art in network softwarization and virtualization with the focus on research challenges.

14h30 - 15h Capturing high-speed traffic using Data Plan Developement Kit (DPDK) - Dr. Philippe Owezarski, G. Roudiere

Abstract: The CNRS-BORDER6 project aims at designing and evaluating new algorithms and techniques for detecting networks anomalies on today's trafic. In this context, we need to evaluate our solution on recent and realistic data, which we can obtain by capturing real trafic. However, today's trafic bandwidth reaches record levels, which cannot be captured with common software solutions. Although solutions based on dedicated hardware exist, they are quite expensive and less flexible than sofware ones. The Intel Data Plane Developement Kit (DPDK), by providing a fast, multi-interfaces and multicore packet handling, offers a good software-based alternative to this problem.DPDKCap is a free and open source DPDK-based packet capture tool, originally developed by a student from the University of Twente. We present here how we improved this project to fit our needs, allowing us to capture a 20Gb/s traffic featuring: a 64 bytes snap length, multicore capture, multicore on-disk writing, on the fly LZO compression, capture file rotation (based either on file size and or file duration). We will also discuss our benchmarking results.

Session 7: CPS Demo afternoon @ LAAS-CNRS - 15h - 19h

• Smart -TV Security Analysis : What you see is not what you expect - Dr. Eric Alata, Prof. V. Nicomette

• Mobility Platform for dynamic carpooling : a privacy preserving approach - Prof. MJ. Huguet

Abstract: We will present a distributed approach that insures privacy in the context of dynamic carpooling. Our approach combines both routing algorithms and secure multi-party computation technics such that each user has full control on his/her location data. The experiments, conducted on real transportation network, demonstrate that it is possible to reach a trade-o in which both privacy and efficiency are acceptable.

• RF Energy harvesting - Dr. A. Takacs, A.Okba

Abstract: A fully automatized setup dedicated to the experimental characterization of the RF and microwave rectennas will be presented. First, the requirements for an effective and accurate characterization of rectennas in the RF and microwave spectrum will be presented. Secondly, a lot of the experiments will be performed on available rectennas with a focus on rectenna’s main performances: harvested DC voltage and power, RF to DC conversion efficiency, optimum load, etc

•  Souk: Spatial Observation of hUman Kinetics - Dr. G. Tredan, R. Pasqua
  

 Abstract: We introduce a new technique to capture positions and contacts in human mobility traces inside a crowd.
Our experimental platform ensure a high accuracy in the collection of mobility data and we developed a open-source pipeline to exploit captured data.

• CLUE: Cycle-based Laboratory of Urban Evolutions

Abstract: The objective of the project is to turn a set of leased bikes into a distributed mobile sensors system. A bike naturally allows to collect lots of information about both users mobility and the urban environment: from bike usage patterns to road quality monitoring (by a acceloremeter), through air quality (by various gas sensors). A major goal is to automate the collected data diffusion, so that it can by heterogeneous operators (city urban planers, environmentalists), while protecting the privacy of the monitored users.

• OM2M for the ADREAM smart building - Dr. Thierry Monteil, F. Aïssaoui, G. Garzone, N. Seydoux

• A glimpse of our upcoming university - Neo Campus Demo - Dr. Francois Thiebolt

Abstract: Started several years ago, the neOCampus operation aims at providing innovative services and useful data to all of the users of our campus. To reach this goal, a pervasive intelligence has been spreaded across our neOCampus network. These ambient intelligence entities interact with the sensors (fluids, temp., luminosity, CO2 ...) and actuators (blinds, lighting systems, access control systems ...) through the MQTT protocol. To broaden the range of possible interactions with neOCampus, we setup node-red (IoT flow processing); this way, we've been able to drive blinds from Amazon Echo. Our neOCampus demonstration will enlight some of the key principles of our architecture, especially the topics used with MQTT. http://neocampus.univ-tlse3.fr/_media/neocampus-iot-architecture_may16.pdf

19h Gala Dinner - in the beautiful, french style LAAS-CNRS garden

Thursday 8 September 2016

Session 8: Data minning Chair: Prof. Marie-Veronique Le Lann

9h - 9h45 Integer programming for cyber-physical systems and data minning - Dr. N. Jozefowiez
Abstract: This talk will introduce combinatorial optimization as well as the main paradigms used to solve combinatorial optimization problems : integer programming, constraint programming, and heuristic methods. Each one will be illustrated on a simple case studies relevant to cyber-physical systems. In a second part, several applications of combinatorial optimization in cyber-physical systems will be presented: carsharing with privacy, energy optimization, routing with RFID ...

9h45 - 10h30 The emerging use of Optimization methods for Datamining in Big Data - Prof. Laetitia Jourdan

Abstract: Big Data is a new field, with many technological challenges to be understood in order to use it to its full potential. To extract meaning from Big Data requires complex analysis.  We propose using metaheuristics as a solution to these challenges; they are first able to deal with large size problems and secondly flexible and therefore easily adaptable to different types of data and different contexts. In this presentation, the paradigm of metaheuristics will be presented. Then, a global overview of datamining and using metaheuristics as solving methods will be realized. Finally we will show how metaheuristics can be adapted to solve Big Data application.

10h30 - 11h Coffee Break

11h - 11h45 Constraint-based data mining with constraint solving - Dr. Tias Guns

Abstract:In todays data-rich world, data mining techniques allow us to extract knowledge from data. However, the amount of knowledge and patterns extracted is often overwhelming. This can be overcome by using constraints to specify more precisely what kind of knowledge one is interested in; simple or complex, with certain properties, statistical guarantees, etc. This asks for generic solution methods that can handle a wide range of such constraints. In this talk, I will review how constraint solving and optimisation offers such a generic solution method; what the benefits and challenges are; and how they can be overcome.

12h - 14h Lunch / Posters and Exhibition installation

Session 9 : Ph.D Posters on CPS - 14h - 18h

All Ph.D. participants are warmly invited to present their work on a poster. The title of the poster has to be submitted using the menu Ph.D. Posters Session on the left side. Awards for the posters will be given at the end of the school.

Session 10 : Industry exhibition on CPS - 14 - 18h

The following companies/institutions have been selected to exhibit:

Camynoo

Intesens

RF Microtech

UWINLOC

ORANGE

LAAS-CNRS - Flexible Substrate  Integration for IoT

Friday 9 September 2016

Session 9: Closing Keynote

9h - 9h45 Demonstrator of connected, innovative, smart and  sustainable campus - Prof. MP. Gleizes - Director of NeoCampus Project

Abstract: The campus of Rangueil extends over 250 ha and contains more than 700 000 m2 of buildings, with on average 30000 people who frequent it daily. All the activities on the campus consume 140 GWh a year and produce 23 250 tons of CO2 (diagnosis made in 2010). Because of its surface and of its features education, research, catering, housing, the campus is like a small city. The Neocampus aim is the building the campus of the future at the level of services and quality of life. It will also be a platform for innovative experiments done in large scale and “in vivo” (with real end-users, in real situations). In this context, the operation of research supported by the equipment neOCampus has for objective to design products and services associated to the ambient cyberphysical systems. So, this equipment consists of numerous software and material devices interconnected for the future digital campus, sustainable and intelligent allying innovative teaching equipments, sensors, systems of communication, storage, location, simulation and the innovative materials within university buildings and within the campus to increase the quality of life of the users and reduce the consumptions of fluids.

10h - Awards for Poster and CPS in Action

10h30 - Closing