FM 2014 is the nineteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is

8th  HiPEAC Workshop on Reconfigurable Computing

2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems May, 23rd, Phoenix, USA held in conjunction to the IPDPS 2014 conference, May 19-23rd, 2014   Background The 2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2014) will be held in Phoenix, USA in May 2014.

ICTSS 2013 (http://ictss.sabanciuniv.edu) will be held in Istanbul on Nov 13-15, 2013.

Download the Challenge #1 Tools 

DARPA has recently released the software for all of the design and collaboration tools used by participants in its first FANG Challenge.  Source code for the META design tools, VehicleFORGE collaboration platform and iFAB foundry IT infrastructure are currently available for download from their online repository @ http://cps-vo.org/group/avm.  

34th IEEE Real-Time Systems Symposium (RTSS) 2013 ABOUT IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the area of real-time systems, presenting innovations in the field with respect to theory and practice. RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems design, analysis, implementation, evaluation, and experiences. RTSS 2013 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of real-time systems research.

 

This talk is part of the Triangle Computer Science Distinguished Lecturer Series

Abstract:

Cyber-physical systems (CPS) represent a tight integration of computing and communications with the physics and real-time dynamics of engineered systems.  They will revolutionize many sectors including transportation, critical infrastructures, manufacturing, healthcare and medical devices, aerospace and defense.   In this talk, we will present some grand challenges that can be met by advances in cyber-physical systems.   This will be followed by a detailed description of 3 areas of CPS research projects that the speaker is working on: (1) Planetary-scale sensor-actuator networks with applications to the smart grid, (2) Smart Surveillance systems, and (3) Autonomous Driving Systems.   Current status of each project will be complemented by a description of research challenges that need to be addressed.   These systems will hopefully offer insights into why the integration of engineering and computer science into a master discipline that can enrich both domains while yielding significant, perhaps even revolutionary, practical benefits.

Short Bio:

Dr. Raj Rajkumar is a Professor of Electrical and Computer Engineering, and Robotics Institute at Carnegie Mellon University.  He also serves as a Co-Director for the General Motors-Carnegie Mellon Vehicular Information Technology Collaborative Research Lab, Co-Director of the General Motors-Carnegie Mellon Autonomous Driving Collaborative Research Lab and as a Director of the Real-Time and Multimedia Systems Laboratory at Carnegie Mellon University.  He has served as General Chair and/or Program Chair of multiple conferences including the IEEE Real-Time Systems Symposium, the IEEE Real-Time Technologies and Applications Symposium, the ACM/SPIE Symposium on Multimedia Computing and Networks, International Symposium on International Symposium on Vehicular Computing Systems and the International Conference on Networked Sensing Systems. He has chaired or co-chaired 5 NSF-sponsored workshops targeting a national research initiative on cyber-physical systems.  He is also currently serving as the Chair of the IEEE Technical Committee on Real-Time Systems. He obtained his M.S. and Ph.D. degrees from Carnegie Mellon University in 1986 and 1989 respectively.   He has given several keynote talks and has 4 Best Paper Awards.  Dr. Rajkumar's research interests include all aspects of embedded real-time systems.  Some of his current research projects include FireFly wireless networks, resource kernels for guaranteed enforcement of throughput, timeliness and power-consumption in real-time operating systems, vehicular networks, and methodologies for model-based design and development.