イベント / EVENT

Bio:
Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from J.W. Goethe University Frankfurt am Main, Frankfurt am Main, Germany, in 1992 and 1995, respectively. He was with the Institute of Computer Science, Albert‐Ludwigs University, Freiburg im Breisgau, Germany and with the Corporate Technology Department, Siemens AG, Munich, Germany. Since October 2001, he has been with the University of Bremen, Bremen, Germany, where he is currently a Full Professor and the Head of the Group for Computer Architecture, Institute of Computer Science. In 2011, he additionally became the Director of the Cyber‐Physical Systems group at the German Research Center for Artificial Intelligence (DFKI) in Bremen. His current research interests include the development and design of data structures and algorithms with a focus on circuit and system design. He is the coordinator of the Graduate School "System Design" funded within the German Excellence Initiative. He published more than 300 research papers and over 15 books. He is an IEEE Fellow.

Abstract:
New challenges need to be faced during modeling, design, implementation, verification and test of Cyber‐Physical Systems (CPS). For the design of hardware and software in this context, new approaches need to be developed, taking into account also non‐functional requirements. This talk gives an overview on challenges and recent developments with a special focus on verification and correctness.

Bio:
Michel DIAZ is Director de Research Emeritus of the French CNRS at the LAAS-CNRS laboratory. He was Director of the French Research on Architecture, Networks, Systems and Parallelism, President of the French research on Communication Networks and member of the board of Directors of LAAS-CNRS. He led and is or was expert for many European and French programmes and projects. He served as a Chairman or a member for many Program Committees. He is the editor of eleven books, has written one book and published more than 300 technical publications. He has received the Silver Core of the IFIP, the Senior Membership of the IEEE, the membership of the New York Academy of Sciences and is listed in the Who's Who in Science and Engineering.

Abstract:
LAAS research on CPS began in 2006 by addressing the emerging problems of future embedded systems, i.e. new embedded systems having a large set of cooperating objects and services with adaptable behaviors using a distributed autonomous intelligence, and able to fulfill stringent performance, robustness and resilience requirements. Also, during the first step of this project, an intelligent experimental building, that now hosts about 100 people, has been built as a design and evaluation support. The present work is now being conducted in two large collaborative CPS projects, ADREAM, addressing mainly Smart Sensors and Sensor Networks, Software Defined Networking, Adaptive Software, Co-working and Service Robots, and SYNERGY, fully dedicated to Energy Management, from Energy Harvesting in components to Energy Optimization in grid systems. The talk first discusses the objectives and views of ADREAM and SYNERGY. It then gives the status and the trends of CPS in France. Finally, a selected set of related present French research projects and of a few European projects dedicated to CPS are presented, in the areas of the modeling of systems, on adaptive computing, on human-robot interaction, on navigation testing, and on the multidisciplinary design for CPS.