Program

Monday, June 29th, 2015

9:30-10:00 : Registration

10:00-10:30 : Welcome address — Prof. B. Raquet — Director INSA Toulouse — Prof. J. Cardoso — Head of CESEC Chair

10:30-12:15 : Cyber-Physical Systems — S. Boria —  R&D Mechatronic Technology Leader / CoC Manufacturing Engineering - Airbus

Abstract: Factory of the Future at Airbus is an incremental long-term research and technology project that is critical to our competitiveness in manufacturing processes. Rapid development is critical for our incremental approach of new technology, from initial proof of concept development to real object dissemination. This presentation is linked to the adoption of CPS as the foundation key concept to ensure a wide dissemination of distributed intelligence.

12:15-14:00 : Lunch

Session 1: Smart Sensors for Cyber-Physical Systems

14:00-14:45 : CMOS Infra-red emitters and detectors for gas sensing applications: a milestone development in a University spin-off — Prof. F. Udrea — Univ. Cambridge, UK

Abstract: The talk is concerned with the story of a spin off from Cambridge University and the development  of a CMOS technology for Infrared emitters and detectors. The environment and the enable factors that led to the spin off are described within the more general context around  Cambridge called Cambridge cluster. The prospects of IR and MEMS and details of the technology are presented. 

14:45-15:30 : Laser sensors: from Mars rover to Microcosmos, the grass people. —  Prof. T. Bosch — ENSHEEIT / LAAS-CNRS

Abstract: Prof. Thierry Bosch will present a brief overview of his research activities. First, he will introduce the laser range finding technique used for Curiosity, the NASA’s Martian Rover. Then he will focus on the laser Doppler velocimeter, originally developed for car safety and now tested in Barcelona Hospital for melanoma diagnosis and also by a start-up company for wind milling. Finally, he will introduce the laser vibrometer initially designed for mechatronics, to be adapted soon for bio-inspiration such like analyzing auditory systems of insects.

15:30-16:00 : Coffee break

16:00-16:45 : 3D Imaging Systems — Dr. N. Rivière — ONERA

16:45-17:45 : Poster session — Student contest on Smart Sensors, Energy, Communication and Security

From 18:00 : Welcome cocktail

Tuesday, June 30th, 2015

Session 2: Energy Management and Platforms for Cyber-Physical Systems

9:00-10:00 : Energy Issues in Autonomous Embedded Systems: a Focus on Aeronautics — Prof. J.-M. Dilhac — INSA Toulouse / LAAS-CNRS

Abstract: Wireless sensors and systems are contemplated for applications in very various fields. Wireless meaning a total autonomy in energy, these systems must rely on storage and/or energy capture from the environment. Basic concepts and methods will be presented with a focus on real applications in the area of aeronautics.

10:00-10:30 : Coffee break

10:30-11:15 : Wireless Power Transfert and Energy Harvesting Systems — Prof. A. Costanzo — Univ. of Bologna, Italy

Abstract: In this lecture a general overview of the scenarios where ambient RF energy harvesting (EH) and wireless power transfer (WPT) are forseen as enabling technologies is first presented. Then the design procedure and the most significant choices for far-field EH and WPT applications is discussed. A rigorous procedure, based on Nonlinear/EM co-design, is applied to a number of multi-band RF harvesting systems and power management units (PMUs) to maximize the system efficiency. Ultra-low power levels are addressed for several experimental results.

11:15-12:00 : Time-predictability on multi-/many-core platforms — Dr W. Puffitsch — DTU Compute, Danemark

Abstract: Achieving time-predictable behavior on multi-/many-core platforms can be challenging. The talk highlights techniques to achievepredictability on general-purpose platforms and presents approaches to construct time-predictable platforms.

12:15-14:00 : Lunch

Invited session

14:00-17:15 : Cyber-physical systems cybersecurity — Y. Fourastier — Airbus Group

Wednesday, July 1st, 2015

Session 3: Communication and Security for Cyber-Physical Systems

9:00-9:45 : Energy Efficient Smart Wireless Sensor Networks. Towards Cyber-Physical Systems  — Prof. D. Dragomirescu — INSA Toulouse / LAAS-CNRS

Abstract: In this talk a general overview of the main challenges to design energy efficient, smart wireless sensor networks will be presented. Examples for Wireless Sensor Networks in an industrial environment, especially for aerospace applications will be given.

9:45:10:30 : Networks and protocols for cyber-physical systems in the context of avionics and automotive — Prof. J.-L. Scharbarg — ENSHEEIT / IRIT

Abstract: The talk will give an overview of present and future network architectures for cyber-physical systems. It will focus on avionics and automotive and present leading protocols in these contexts.

10:30-11:00 : Coffee break

11:00-11:45 : Introduction to the Security of CPS —  R. Daudigny — Diretor of CESTI THALES — and Ass. Prof. E. Alata — INSA Toulouse / LAAS-CNRS

11:45-12:30 : Smart Cards — Dr J.-L. Lanet — INRIA

12:30-14:00 : Lunch

14:00-15:00 : Open Source platform for M2M communication — Ass. Prof. T. Monteil — INSA Toulouse / LAAS-CNRS

15:00-15:30 : Coffee break

15:30-18:00 : Visit Adream: a Smart Building LAAS-CNRS

20:30 : Gala dinner — 7 place St Sernin — Localization on google map 

Thursday, July 2nd, 2015

Session 4: Model-driven Engineering and Formal Verification

9:00-9:45 : Eclipse tools for modeling CPS — G. Blondel — Eclipse Fondation

9:45-10:30 : Model-checking of concurrent, real-time activities — Dr. S. Dal Zilio and Ass. Prof. D. Le Botlan — LAAS-CNRS

Abstract: Concurrent systems are  hard to understand, in particular when safety depends on timing constraints. In this talk, we show some approaches to model a system, we discuss the necessity to use formal models, and show how to check properties thanks to model-checking.

10:30-11:00 : Coffee break

11:00-11:45 : Self-Adaptive Complex  Systems - Prof. Marie-Pierre Gleizes, UPS/ IRIT

Abstract: Nowadays and in the near future, the complexity of applications, composed of a great amount of elements such as sensors, actuators, is exponentially increasing. This complexity comes from the inherent properties of such applications: the great number of their involved components, the distribution of their control and skills, the nonlinearity of their process and their increasing openness. This is also caused by the unpredictable coupling with their environment due to high dynamicity. To fulfill these requirements, systems have to adapt themselves in order to be robust and efficient.  This talk deals with self-adaptation in multi-agent systems as a paradigm to design such systems.

11:45-12:30 : Turning Eclipse into an Arduino programming platform for kids — M. Bats — OBEO

Abstract: "Daddy, daddy, how does a computer work?" We're used to say that curiosity is a bad habit but it is nonetheless one of the greatest strenghts of kids: they are eager to learn. Learn how a computer works, how one can build an application for a phone or a tablet, how one can create a video game. The best answer is probably to give them the tools to discover by themselves the answer to those questions. Eclipse is used by hundreds of thousands of adults for programming activies, so why not by kids? How to turn Eclipse into a programming environment for kids? This talk will present our approach and thoughts to simplify the Eclipse user interface for usage by kids. We will show how we created, thanks to Sirius, an easy-to-use and natural graphical tool to let kids discover programming. A demonstration will present Arduino Designer of a development environment that allows to program an Arduino using a simple and graphical block-based language.

12:30-14:00 : Lunch

Practical session

14:00-17:15 : Smart Internet of Things prototyping on Intel Edison — P. Guermonprez — Intel

Abstract: In this hands on session, we'll see how to develop smart IoT solutions using open source technologies on Intel Edison boards. Basic programming and linux skills are welcome, but you can also find a buddy. Please bring your laptop (Linux, OSX, Windows are OK).

18:00 : Intel Cocktail

Friday, July 3rd, 2015

Session 5: Real-time and Dependability

9:00-10:00 : Real-time operating systems for CPS — Prof. E. Grolleau — ISAE-ENSMA / LIAS

10:00-10:30 : Coffee break

10:30-11:30 : Dependability of CPS — Dr. K. Kanoun — Head of Crucial Computing Theme at LAAS-CNRS

11:30-12:15 : Poster session — Student contest on Model Based Design, Real-Time, Dependability and Formal Verification

12:15-12:30 : Summer school cloture — Student Contest Prize