Welcome to the TeCIP Institute

Transcription

1 Welcome to the TeCIP Institute Prof. Giorgio i Buttazzo Ph.D. Course Coordinator Academic Structure Scuola Superiore Sant Anna Academic Class of Social Sciences Academic Class of Experimental Sciences Economic Sciences Law Political Sciences Agronomical Sciences Medicine & Surgery Engineering Management Economics DIRPOLIS Life Sciences TeCIP Biorobotics 1

2 TeCIP Structure TeCIP Institute IRCPHONET Integrated Research Center on Photonic Networks and Technologies Embedded d Systems Photonic Technologies Perceptual Robotics Real-Time Computing Optical circuits Virtual Environments Resource Management Optical communication Tele-presence Real-Time Networks High-speed networks Man-machine interfaces PhD Curricula Curriculum Labs Location 1. Embedded Systems (Real-Time Computing) CNR-Area Ground Floor 2. Photonic Tecnologies (Optical systems & networks) IRCPHONET Integrated Research Center on Photonic Networks and Technologies CNR-Area 1 st Floor 3. Perceptual Robotics (Virtual Env. & Telepresence) Pisa Each curriculum may also include industrial PhD positions, in collaboration with the industry, on specific research topics. 2

3 RETIS Lab Real-Time Systems Laboratory A brief introduction The RETIS Group Includes 32 people: 1 Full professor 2 Associate professors 3 Assistant professors 6 Post Docs 4 Research Collaborators Giorgio Buttazzo RETIS Coordinator Marco Di Natale Giuseppe Lipari 16 PhD students Enrico Bini Mauro Marinoni Paolo Pagano G. Franchino D. Alessandrelli M. Petracca C. Salvadori A. Ruscelli G. Cecchetti I. Barsanti 2012 Scuola Superiore Sant Anna 3

4 RETIS Lab Real-Time Systems Laboratory RETIS Lab investigates embedded computing systems with particular emphasis in Real-time methodologies Operating systems Design tools Distributed systems What is an embedded system? RETIS Lab Real-Time Systems Laboratory It is a computing system hidden in an object to control its functions, enhance its performance, manage the available resources and simplify the interaction with the user. Object micro- processor actuators sensors Environment communication user other units 4

5 What s special in Embedded Systems? FEATURES Scarce resources (space, weight, time, memory, energy) High concurrency and resource sharing (high task interference) Tight environment interaction High variability on workload and resource demand REQUIREMENTS High efficiency in resource management Limit interference by temporal isolation High predictability in the response time Robustness (Overload handling and adaptivity) Mission of the RETIS Lab Increase predictability through suitable kernel mechanisms and feasibility analysis. Provide support for multi-core distributed computing systems. platforms and Make embedded systems energy efficient. Manage behavior. overload conditions through adaptive Real-Time Embedded Systems 5

6 Research Areas Real-Time Systems Giorgio Buttazzo Embedded Systems Design Marco Di Natale Resource Management Mauro Marinoni Networks of Emb. Systems Paolo Pagano RT scheduling Multicore systems Cyber-ph. systems Synchro. protocols Energy-aware comp. Power-aware comm. Adaptive res. manag. Medical systems Design methods Design tools Spec. & verif. Auto. code gen. Wless Sensor Nets Embedded vision Vehicular Networks Network abstract. Real-Time Embedded Systems Real-Time Systems Laboratory Embedded computing systems are becoming pervasive in our society: Flight control systems Plant control Automotive RETIS Lab Railways switching systems Robotics Defense systems Patient monitoring systems 6

7 and many others Predictability + efficiency The RETIS group has contributed to increase predictability and efficiency of real-time systems for flight control and automotive applications. In collaboration with Airbus and Bosch Airbus Bosch 7

8 Predictability in Linux Linux has been extended to handle real-time software and support the rapid growth of complexity in next-generation cell phones. In collaboration with Ericsson ARM11 (4 cores) Linux 2.6.x The FLEX Board In collaboration with Microchip 8

9 Embedded Control Board Main features: Open-source software Power management Remote programming Easy expandibility Software RTOS Hardware Application (C) ERIKA Microchip dspic 30F601x Educational control kits 9

10 Wireless Sensor Networks actuators Controller HW sensors Environment Node wireless Typical measures sound light gas temperature video Scuola Superiore Sant Anna 19 Mobile Nodes Scuola Superiore Sant Anna 20 10

11 Sample applications Surveillance Intrusion detection and tracking Defence systems Environmental monitoring Exploration Rescuing 21 Fire prevention... Scuola Superiore Sant Anna 22 11

12 Traffic monitoring Scuola Superiore Sant Anna 23 ASCOLTA Home assistance for heart failure through an advanced wearable monitoring systems SPO2 ECG Blood pressure Breath signal Body motion 12

13 Tele rehabilitation Current development IMU-based body sensor network Data fusion Limb tracking Posture/action recognition Real-Time Embedded Systems Demo 1 Real-Time Embedded Systems 13

14 Demo 2 Real-Time Embedded Systems EU collaborations Porto Aveiro Cork Cantabria York NXP Nancy Grenoble Madrid UPC Valencia Mallorca CSEM Dresden TUKL Uppsala Vasteras Lund Pavia Pisa CTU TUV Catania Univ. of Lund Malardalen Univ. KTH Stockholm Halmstad Univ. Univ. of York Univ. of Porto Univ. of Aveiro Univ. of Madrid Univ. of Cantabria Univ. of Valencia Univ. of Catalonia Univ. of Grenoble Univ. of Renne Univ. of Nantes Univ. of Saarland Univ. of Dresden U. Kaiserslautern EPFL Lausanne ETH Zurich Univ. of Prague SE SE SE SE UK PT PT ES ES ES ES FR FR FR DE DE DE CH CH CZ 14

15 US collaborations Berkeley UIUC Philadelphia Pittsburgh Santa Cruz St. Louis Virginia UNC Austin FSU International Collaborations Carnegie Mellon University Prof. Rajkumar / Lehoczky (feasibility analysis) Univ. of Illinois at Urbana Champaign Prof. Lui Sha / Marco Caccamo (RT control and scheduling) Univ. of North Carolina at Chapel Hill Prof. Sanjoy Baruah (Multiprocessor scheduling) Univ. of California at Berkeley Prof. Sangiovanni Vincentelli (Design methodologies and tools) Florida State University Prof. Ted Baker (Multiprocessor scheduling) Univ. of Indianapolis Prof. Yao Liang (Sensor Networks) 15

16 Industrial collaborations Real-Time Embedded Systems Spin off companies Multi-core kernels Real-Time Linux OSEK kernels RTOSs Embedded Linux Educational kits AMARULA SOLUTIONS ICUBE Linux applications and consulting I.D.E.A. s.r.l. Robotics Domotics Real-Time Embedded Systems 16

17 Courses Courses offered in Embedded Systems Courses on Embedded Systems Course CFU Teacher NOTES Real-Time Systems 6 G. Buttazzo Scheduling, feasibility analysis, resource management, aperiodic events, overload handling. Introduction to Neural Networks Concurrent Distributed Systems 3 G. Buttazzo Embedded Systems 6 M. Di Natale Object Oriented Software Design in C++ Basic networks models and learning algorithms for pattern recognition, classification, prediction, and control. 6 P. Ancilotti Concurrent programming Programming models for embedded software. Finite state machines. Automatic code generation (Simulink, Mathworks) 6 G. Lipari Programming in C++ 17

18 Courses on Embedded Systems Course CFU Teacher NOTES Laboratory of Embedded Systems M. Marinoni, 3 G. Franchino P. Gai Microcontrollers, I/O devices, sensor acquisition, wireless communication, servomotor control, practice. Optimization Methods 4 Sensor Networks 3 M. Pappalardo, M. Passacantando P. Pagano, M. Petracca Advanced FPGAbased architectures Dependable Computing Systems 2 TBD 6 TBD Fault models. Error detection. Forward and backward error recovery. Static and dynamic redundancy. Courses on Embedded Systems Course CFU Teacher NOTES How to do research 3 G. Buttazzo, R. Guerra, E. Ruffaldi How to write scientific papers How to make slides How to make presentations How to write projects Coordination of Autonomous Mobile Nodes Synchronization in Multicore Systems 1 L. Almeida 1 B. Brandenburg Distributed coordination algorithms, Synchonization protocols. Resource sharing in multiprocessor systems Design Issues for Medical Devices 1 Lui Sha Research challenges in medical applications 18

19 PhD web site 19