Conference on High Confidence Networked Systems (HiCoNS) at CPSWeek 2014 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS) will be held April 15-17, 2014 in Berlin, Germany as part of Cyber Physical Systems Week 2014 (CPSWeek 2014).

Invited Talk in the Distinguished Speaker Series
Sponsored by the IEEE Council on Electronic Design Automation (CEDA)
Held at the Design Automation Conference (DAC)

Abstract

The term cyber-physical systems (CPS) refers to the integration of computation and networking with physical processes. CPS is firmly established as a buzzword du jour. Yet many of its elements are familiar and not altogether new. Is CPS just a rehash of old problems designed to attract new funding? In this talk, I will argue that quite to the contrary, CPS is pushing hard at the frontiers of engineering knowledge, putting severe stress on the abstractions and techniques that have proven so effective in the separate spaces of cyber systems (information and computing technology) and physical systems (the rest of engineering). My argument will center on the role of models, and I will show that questions about semantics of models become extremely challenging when the models are required to conjoin the cyber and the physical worlds. 

 

 

 

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.

10th International Conference on Quantitative Evaluation of SysTems                               QEST 2013                     http://www.qest.org/qest2013/

ACM Symposium On Applied Computing For the past twenty-eight years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by Seoul National University, Kyungpook National University, Soongsil University and Dongguk University.  

WORKSHOP The purpose of WMC is to share new ideas, experiences and information about research and development of Mixed Criticality real-time systems. THEMES

SAE 2014 World Congress & Exhibition In today’s automotive climate, the automotive community is increasingly called upon to think strategically and form unique relationships that expand the reach of the industry into a new era of collaboration.

Workshop on Timing Analysis and Synthesis for Synchronous Models (TASS 2013) December 3rd 2013, Vancouver, Canada   In conjunction with IEEE Real-Time Systems Symposium (RTSS) 2013 (http://2013.ieee-rtss.org/) Scope of the Workshop   Model-based design of embedded control systems using Synchronous Reactive (SR) models is among the best practices for software development in the automation, automotive and aeronautic industry.

International Conference on Convergence and Hybrid Information Technology (ICHIT 2013)   http://www.ichit2013.org    October 25th ~ 26th, 2013, Hannam University, Daejeon, Korea   Since 2006, ICHIT has been focused on various aspects of advances in Convergence and Hybrid Information Technology.

An upward shift in abstraction leads to a corresponding increase in productivity. In the past this has occurred when programming languages have evolved towards a higher level of abstraction. Today, domain-specific languages provide a viable solution for continuing to raise the level of abstraction beyond coding, making development faster and easier.